Skip to content

An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus.

Damiano Mazza

VenueA*LICS
Year2012
ProceedingsLICS

Browse the full LICS paper archive.