author : P. J. Scott

Books

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