author : J. Lambek

Books

• Introduction to Higher Order Categorical Logic. 1986, with P. J. Scott