1. [1] Barendregt, H. P., The Lambda Calculus. Its Syntax and Semantics, revised edition, vol. 103 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1984.
2. [2] Barendregt, H., M. Coppo, and M. Dezani-Ciancaglini, "A filter lambda model and the completeness of type assignment", The Journal of Symbolic Logic, vol. 48 (1983), pp. 931--40.
3. [3] Coppo, M., and M. Dezani-Ciancaglini, "An extension of the basic functionality theory for the $\lambda $"-calculus, Notre Dame Journal of Formal Logic, vol. 21 (1980), pp. 685--93.
4. [5] Curry, H. B., "Functionality in combinatory logic", Proceedings of the National Academy of Science USA, vol. 20 (1934), pp. 584--90.
5. [6] Curry, H. B., and R. Feys, Combinatory Logic. Vol. I, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1958.