Lambda-definability in the full type hierarchy, in `To H.B. Curry: essays on combinatory logic, lambda calculus and formalism (1980)

by G Plotkin
Venue:Proc. 27th Intl. Colloq