Relating theories of the lambda-calculus (1980)

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