Thomas Ehrhard
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1988
- Country
- France
- MGP identifier
- 287766
Dissertation: Une sémantique Catégorique des Types Dépendants. Application au Calcul des Constructions
Advisor 1
- Pierre-Louis CurienUniversité Paris Diderot - Paris 7 · 1983
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Zeinab Galal | Université de Paris | 2021 | 0 |
| Guillaume Munch-Maccagnoni | Université Paris Diderot - Paris 7 | 2013 | 0 |
| Lionel Vaux | Université de la Méditerranée | 2007 | 4 |