1. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. North Holland Publishing Company, Amsterdam (1984)
2. Barendregt, H.P., Dekkers, W., Statman, R.: Lambda Calculus with Types. Perspectives in Logic. Cambridge University Press, Cambridge (2013).
http://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/lambda-calculus-types
3. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. J. Symb. Logic 48(4), 931–940 (1983).
https://doi.org/10.2307/2273659
4. Barendregt, H.P.: Lambda calculi with types. In: Handbook of Logic in Computer Science. vol. 2, pp. 117–309. Oxford University Press Inc, New York (1992).
http://dl.acm.org/citation.cfm?id=162552.162561
5. Ben-Yelles, C.B.: Type assignment in the lambda-calculus: syntax and semantics. Ph.D. thesis, Department of Pure Mathematics, University College of Swansea, September 1979