The Intensional Content of Rice’s Theorem

by Andrea Asperti
Citations:9 - 3 self