Author of the publication

Introduction to Higher Order Categorical Logic

, and . Cambridge Studies in Advanced Mathematics Cambridge University Press, (1986)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A new free-form surface fitting method for precision coordinate metrology, , and . Wear, 266 (5-6): 543--547 (March 2009)Introduction to higher order categorical logic, and . Cambridge University Press, New York, NY, USA, (1988)Introduction to Higher Order Categorical Logic, and . Cambridge Studies in Advanced Mathematics Cambridge University Press, (1986)Management following heart and lung transplantation: five years experience., , , , , and . Eur J Cardiothorac Surg, 4 (4): 197--200; discussion 201 (1990)Perceptions of the public of low frequency noise, and . Jounal of Low Frequency Noise, Vibration and Active Control, (2002)Ten simple rules for choosing a PhD supervisor., , , and . PLoS Comput. Biol., (2021)