Skip to content

The strength of non-size increasing computation.

Martin Hofmann

VenueA*POPL
Year2002
ProceedingsPOPL

Browse the full POPL paper archive.