1. H. P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, 2nd edition, North Holland, 1984.
2. H. P. Barendregt, Lambda Calculi with Types, in Handbook of Logic in Computer Science, Volume II, S. Abramsky, D. Gabbay and T. S. E. Maibaum (eds), Oxford University Press, 1992.
3. A. Church, The Calculi of Lambda Conversion, Princeton University Press, 1941.
4. P.-L. Curien, Categorical Combinators, Sequential Algorithms and Functional Programming, 2nd edition, Birkhäuser, 1993.
5. L. Damas and R. Milner, Principal Type Schemes for Functional Programs, in Proceedings of POPL’82, ACM Press, 1982.