Introduction to Higher Order Categorical Logic (1986)

by J Lambek, P J Scott
Venue:Number 7 in Cambridge Studies in Advanced Mathematics