Stephane Jean Eric Graham-Lengrand
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- United Kingdom
- MGP identifier
- 104913
Dissertation: Normalisation & Equivalence in Proof Theory & Type Theory
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Delia KesnerUniversité Paris-Sud XI - Orsay · 1993
- Roy DyckhoffInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Alexis Bernadet | École Polytechnique | 2014 | 0 |
| Mahfuza Farooque | École Polytechnique | 2013 | 0 |
| François Thiré | Université Paris-Saclay | 2020 | 0 |