1. Barendregt, H.: The Lambda, Calculus, its Syntax and Semantics. North Holland. Amsterdam (1984)
2. Böhm, C.: Lambda Calculus and Computer Science Theory. LNCS 37 Springer-Verlag (1975)
3. Church, A.: The Calculi of Lambda Conversion. Princeton University Press Princeton (1941)
4. Coppo, M., Dezani-Ciancaglini, M., Zacchi, M.: Type Theories, Normal Forms and D ∞-Lambda-Models. Information and Computation 72(2) (1987) 85–116
5. Dezani-Ciancaglini, M., Honsell, F., Ronchi Della Rocca, S.: Models for theories of functions depending on all their arguments (abstract). Journal of Symbolic Logic 51(3) (1986) 399–402