Murdoch James Gabbay
Original record- Institution
- University of Cambridge
- Year
- 2001
- Country
- United Kingdom
- MGP identifier
- 76811
Dissertation: A Theory of Inductive Definitions with α-Equivalence: Semantics, Implementation, Programming Language
Advisors 2
- Andrew Mawdesley PittsUniversity of Cambridge · 1982
- Martin HylandInstitution not recorded
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Adrianus Hubertus Johannes Mathijssen | Technische Universiteit Eindhoven | 2007 | 0 |
| Dominic Phillip Mulligan | Heriot-Watt University | 2010 | 0 |