James Hugh McKinna

MathSciNet


Ph.D. University of Edinburgh 1992 UnitedKingdom
Dissertation: Deliverables: a categorical approach to program development in type theory
Mathematics Subject Classification: 68—Computer science

Advisor 1: Rodney Martineau Burstall

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Brady, EdwinUniversity of Durham2005
Mamane, LionelRadboud Universiteit Nijmegen2013

According to our current on-line database, James McKinna has 2 students and 2 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 156781 for the advisor ID.