Laurent Regnier
Original record- Institution
- University of St. Andrews and Université Paris Diderot - Paris 7
- Year
- 1992
- Country
- United Kingdom
- MGP identifier
- 108474
Dissertation: Lambda-calcul et réseaux
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Jean-Yves GirardUniversité Paris Diderot - Paris 7 · 1972
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Michele Alberti | Università di Bologna and Aix-Marseille Université | 2014 | 0 |
| Patrick Baillot | Université de la Méditerranée | 1999 | 1 |
| Marc de Falco | Not recorded | — | 0 |
| Olivier Laurent | Université de la Méditerranée | 2002 | 3 |
| Thomas Leventis | Aix-Marseille Université | 2016 | 0 |
| Damiano Mazza | Università degli Studi di Roma Tre and Université de la Méditerranée | 2006 | 3 |
| Federico Olimpieri | Università degli Studi di Roma Tre and Aix-Marseille Université | 2020 | 0 |
| Thomas Seiller | Aix-Marseille Université | 2012 | 5 |
| Lionel Vaux | Université de la Méditerranée | 2007 | 4 |