Introduction to Higher-Order Categorical Logic (Cambridge
Introduction to Higher-Order Categorical Logic (Cambridge,Introduction to Higher-Order Categorical Logic (Cambridge,Introduction higher order categorical logic | Logic,Introduction to Higher-Order Categorical Logic - J. Lambek,Introduction category theory | Logic, categories and sets