Higher Order Categorical Logic. Cambridge UP (1986)

by J Lambek, P J Scott