Relating theories of the lambda calculus (1980)

by D Scott
Venue:Essays on Combinatory Logic, Lambda Calculus and Formalism