Finitary PCF is not decidable (1996)

by Ralph Loader
Venue:Theoretical Computer Science