Lambda definability in the full type hierarchy. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism (1980)

by G D Plotkin