1. Barendregt, H.P.: The lambda calculus: its syntax and semantics. In: Studies in Logic and the Foundations of Mathematics, vol. 103, second, revised edn. North-Holland Publishing Company (1984)
2. Church, A.: The Calculi of lambda-Conversion. No. 6 in Annals of Mathematics Studies. Princeton University Press, Princeton (1941)
3. Curry, H.B., Feys, R.: Combinatory Logic, Volume I. North-Holland (1958). (Second printing 1968)
4. Girard, J.Y., Lafont, Y., Taylor, P.: Proofs and Types. In: Cambridge Tracts in Theoretical Computer Science, vol. 7. Cambridge University Press (1989)
5. Hankin, C.: An Introduction to Lambda Calculi for Computer Scientists. In: Texts in Computing, vol. 2. King’s College Publications (2004)