Hugo Herbelin
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 137317
Dissertation: Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes.
Advisor 1
- Thierry CoquandInstitution not recorded
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Danko Ilik | École Polytechnique | 2010 | 1 |
| Sylvain Lebresne | Not recorded | — | 0 |
| Alexandre Miquel | Not recorded | — | 3 |
| Étienne Miquey | Universidad de la Republica, Montevideo, Uruguay and Université Paris Diderot - Paris 7 | 2017 | 0 |
| Julien Narboux | Not recorded | — | 1 |
| Ludovic Patey | Université Paris Diderot - Paris 7 | 2016 | 1 |
| Pierre-Marie Pédrot | Université Paris Diderot - Paris 7 | 2015 | 0 |
| Vincent Siles | École Polytechnique | 2010 | 0 |