Lambda-De nability in the Full Type Hierarchy. in: To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, edited by (1980)

by G D Plotkin