The intensional content of Rice’s theorem (2008)

by Andrea Asperti
Venue:In Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL ’08