1. Barendregt, H.P., [1981] The. lambda calcalui, Iti iyntax and iemantlci, North Holland, Amsterdam
2. Barendregt, H.P. and Koymans, C.P.J., [1980]Compacting iome. claiite of lambda calculai models, in Hind ley and Seldin [1980], 287–302
3. Barendregt, H.P., Coppo, M., Dezani-Ciancaglini, M., [1983] A filter lambda model and the completeness of type, assignmet, J. Symbolic Logic, to appear
4. Algebras and combinators;Engeler;Algebra Universalis,1981
5. Lambda, calculai models and extcnilonality;Hindley;Z. Math. Logik Grundlag. Math.,1980