1. A. Church, The calculi of lambda-conversion, Annals of Math. Studies 6, Princeton University Press, Princeton 1941.
2. H.B. Curry and R. Feys, Combinatory Logic, Vol. 1, North-Holland Publ. Co., Amsterdam 1958.
3. S. Eilenberg and G.M. Kelly, Closed categories, Proc. Conference Categorical Algebra, La Jolla 1965, pp. 421–562, Springer-Verlag, New York 1966.
4. T.Fox, Combinatory Logic and cartesian closed categories, M.Sc. Thesis, McGill University 1970.
5. K.Gödel, On formally undecidable propositions, reproduced in J. van Heijenoort, From Frege to Gödel, pp. 592–617, Cambridge 1967.