Introduction to Higher Order Categorial Logic (1986)

by J Lambek, P Scott