Introduction to higher order categorical logic
Lambek, J.
Scott, P. J.(Philip Jacob),1947-
Cambridge Cambridge University Press
1986
Includes bibliography and index
Categories (Mathematics)