Lambda-de nability in the full type hierarchy (1980)

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