Person. Gérard Huet Directeur de Recherche émérite · Inria · pauillac.inria.fr/~huet PhD studentsChristine Paulin-Mohring, Thierry Coquand