Login / Signup

The intensional content of Rice's theorem.

Andrea Asperti
Published in: POPL (2008)
Keyphrases