Jean-Jacques Lévy

MathSciNet


Thèse de Doctorat d'Etat Université Paris Diderot - Paris 7 1978 France
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 listed in chronological order.

NameSchoolYearDescendants
Melliès, Paul-AndréUniversité Paris Diderot - Paris 719968
Pouzet, MarcUniversité Paris Diderot - Paris 71994
Schmitt, AlanÉcole Polytechnique20021

According to our current on-line database, Jean-Jacques Lévy has 3 students and 12 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.