Finitary PCF is not decidable (2001)

by R Loader
Venue:Theor. Comput. Sci