Relating theories of the -calculus (1980)

by D S Scott
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism