Comparing some classes of lambda calculus models (1980)

by H P Barendregt, K Koymans
Venue:Seldin (Eds.), To H.B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism