Zhaohui Luo
Original record- Institution
- The University of Edinburgh
- Year
- 1990
- Country
- United Kingdom
- MGP identifier
- 250952
Dissertation: An Extended Calculus of Constructions
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Yangyue Feng | Royal Holloway, University of London | 2011 | 0 |
| Healfdene Goguen | The University of Edinburgh | 1994 | 0 |
| Georgiana Lungu | Royal Holloway, University of London | 2018 | 0 |
| Tao Xue | Royal Holloway, University of London | 2013 | 0 |