Thorsten Altenkirch
Original record- Institution
- The University of Edinburgh
- Year
- 1993
- Country
- United Kingdom
- MGP identifier
- 108193
Dissertation: Constructions, Inductive Types and Strong Normalization
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| James Maitland Chapman | University of Nottingham | 2008 | 1 |
| Gabe Dijkstra | University of Nottingham | 2017 | 0 |
| Jonathan James Grattage | University of Nottingham | 2006 | 0 |
| Alexander S. Green | University of Nottingham | 2010 | 0 |
| Nicolai Kraus | University of Nottingham | 2015 | 0 |
| Peter William Morris | University of Nottingham | 2007 | 0 |
| Rawle Prince | University of Nottingham | 2011 | 0 |
| Wouter Swierstra | University of Nottingham | 2008 | 0 |