Introduction to Higher-Order Categorical Logic (1988)

by J Lambek, P J Scott