Introduction to Higher Order Categorical Logic. Cambridge (1986)

by J Lambek, P Scott
Venue:Studies in Advanced Mathematics Vol. 7