1. Crole, R.L.: Categories for Types. Cambridge University Press, Cambridge (1993)
2. Kock, A.: Strong functors and monoidal monads, Various Publications Series 11. Aarhus Universitet (August 1970)
3. Lambek, J.: From λ-calculus to cartesian closed categories. In: Seldin, J.P., Hindley, J.R. (eds.) To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London (1980)
4. Lambek, J., Scott, P.J.: Introduction to higher order categorical logic. Cambridge University Press, Cambridge (1986)
5. Graduate Texts in Mathematics;S. MacLane,1997