Yves Lafont
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1988
- Country
- France
- MGP identifier
- 95088
Dissertation: Logiques, catégories & machines - Implantation de langages de programmation guidée par la logique catégorique
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Gérard Pierre HuetCase Western Reserve University · 1972
- Jean-Yves GirardUniversité Paris Diderot - Paris 7 · 1972
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Matteo Acclavio | Aix-Marseille Université | 2016 | 0 |
| Arnaud Fleury | Université Paris Diderot - Paris 7 | 1996 | 0 |
| Andrea Gagna | L'École Doctorale de Mathématiques et Informatique de Marseille | 2019 | 0 |
| Sylvain Lippi | Université de la Méditerranée | 2002 | 0 |
| Anne Massol | Université de la Méditerranée | 1997 | 0 |
| Virgile Mogbil | Université de la Méditerranée | 2001 | 1 |
| Pierre Rannou | Aix-Marseille Université | 2013 | 0 |