Relating theories of the λ-calculus (1980)

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