1. Frege structures and the notions of proposition, truth and set;Aczel,1980
2. Ahn, R., Kolb, H.P., 1990. Discourse Representation Meets Constructive Mathematics. Technical Report 16, ITK, Tilbury.
3. An Introduction to Mathematical Logic and Type Theory;Andrews,1986
4. Barendregt, H., 1984. The Lambda Calculus: Its Syntax and Semantics. North-Holland Studies in Logic and the Foundations of Mathematics vol. 103.
5. Lambda calculi with types;Barendregt,1991