Skip to content

Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus.

Damiano Mazza

VenueA*ICALP
Year2014
ProceedingsICALP (2)

Browse the full ICALP paper archive.