Jean-Jacques Lévy
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- France
- MGP identifier
- 132539
Dissertation: Réductions correctes et optimales dans le lambda-calcul
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Maurice Paul NivatUniversité Joseph Fourier Grenoble I · 1967
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Jade Alglave | Not recorded | — | 1 |
| Tomasz Blanc | École Polytechnique | 2006 | 0 |
| Sylvain Conchon | Université Paris Diderot - Paris 7 | 2002 | 2 |
| Pierre-Malo Deniélou | Université Paris Diderot - Paris 7 | 2010 | 0 |
| Damien Doligez | Université Paris Diderot - Paris 7 | 1995 | 0 |
| Cédric Fournet | École Polytechnique | 1998 | 1 |
| Nataliya Guts | Université Paris Diderot - Paris 7 | 2011 | 0 |
| Jean Krivine | Université Pierre-et-Marie-Curie - Paris VI | 2006 | 0 |
| Fabrice Le Fessant | École Polytechnique | 2001 | 0 |
| Qin Ma | Université Paris Diderot - Paris 7 | 2005 | 0 |
| Luc Maranget | Not recorded | — | 2 |
| Paul-André Melliès | Université Paris Diderot - Paris 7 | 1996 | 8 |
| Gilles Peskine | Université Paris Diderot - Paris 7 | 2008 | 0 |
| Jérémy Planul | École Polytechnique | 2012 | 0 |
| Marc Pouzet | Université Paris Diderot - Paris 7 | 1994 | 0 |
| Alan Schmitt | École Polytechnique | 2002 | 1 |