Introduction to higher order categorical logic - Lambek,J.; Scott, P.J. (Cambridge Cambridge University Press, 1986)
Keywords: Categories (Mathematics)