Higher Order Categorical Logic, Cambridge (0)

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