James Hugh McKinna
Original record- Institution
- The University of Edinburgh
- Year
- 1992
- Country
- United Kingdom
- MGP identifier
- 156781
Dissertation: Deliverables: a categorical approach to program development in type theory
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Edwin Charles Brady | University of Durham | 2005 | 0 |
| Lionel Elie Mamane | Radboud Universiteit Nijmegen | 2013 | 0 |
| Craig McLaughlin | The University of Edinburgh | 2020 | 0 |
| Carst Tankink | Radboud Universiteit Nijmegen | 2013 | 0 |