A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.

Damiano Mazza, Luc Pellissier

Browse the full ICTAC paper archive.