Skip to content

The intensional content of Rice's theorem.

Andrea Asperti

VenueA*POPL
Year2008
ProceedingsPOPL

Browse the full POPL paper archive.