Skip to content

On the Complexity of Beta-Reduction.

Andrea Asperti

VenueA*POPL
Year1996
ProceedingsPOPL

Browse the full POPL paper archive.