Vincent Danos
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1990
- Country
- France
- MGP identifier
- 165242
Dissertation: La Logique Linéaire appliquée à l'étude de divers processus de normalisation (principalement du Lambda-calcul)
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jean-Yves GirardUniversité Paris Diderot - Paris 7 · 1972
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Emmanuel Beffara | Université Paris Diderot - Paris 7 | 2005 | 0 |
| Samuel Hym | University of Sussex and Université Paris Diderot - Paris 7 | 2006 | 0 |
| Matthias Sachs | The University of Edinburgh | 2017 | 0 |
| Lorenzo Tortora de Falco | Université Paris Diderot - Paris 7 | 2000 | 2 |
| William Waites | The University of Edinburgh | 2020 | 0 |