Jean-Jacques Lévy
Thèse de Doctorat d'Etat Université Paris Diderot - Paris 7 1978
Dissertation:
Réductions correctes et optimales dans le lambda-calcul
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor: Maurice Paul Nivat
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Maranget, Luc | Université Paris Diderot - Paris 7 | 1992 | 3 |
| Pouzet, Marc | Université Paris Diderot - Paris 7 | 1994 | |
| Doligez, Damien | Université Paris Diderot - Paris 7 | 1995 | |
| Melliès, Paul-André | Université Paris Diderot - Paris 7 | 1996 | 11 |
| Fournet, Cédric | École Polytechnique | 1998 | 1 |
| Le Fessant, Fabrice | École Polytechnique | 2001 | |
| Conchon, Sylvain | Université Paris Diderot - Paris 7 | 2002 | 2 |
| Schmitt, Alan | École Polytechnique | 2002 | 1 |
| Ma, Qin | Université Paris Diderot - Paris 7 | 2005 | |
| Blanc, Tomasz | École Polytechnique | 2006 | |
| Krivine, Jean | Université Pierre-et-Marie-Curie - Paris VI | 2006 | |
| Peskine, Gilles | Université Paris Diderot - Paris 7 | 2008 | |
| Alglave, Jade | Université Paris Diderot - Paris 7 | 2010 | 1 |
| Deniélou, Pierre-Malo | Université Paris Diderot - Paris 7 | 2010 | |
| Guts, Nataliya | Université Paris Diderot - Paris 7 | 2011 | |
| Planul, Jérémy | École Polytechnique | 2012 |
According to our current on-line database, Jean-Jacques Lévy has 16 students and 31 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 132539 for the advisor ID.