César Muñoz

MathSciNet


Ph.D. Université Paris Diderot - Paris 7 1997 France
Dissertation: Un calcul de substitutions pour la représentation de preuves partielles en théorie des types
Mathematics Subject Classification: 68—Computer science

Advisor 1: Gérard Pierre Huet
Advisor 2: Gilles Dowek

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Alves Almeida, ArianeUniversidade de Brasília2021
Borges Avelar, AndréiaUniversidade de Brasília2014
Kirchner, FlorentÉcole Polytechnique2007
Neron, PierreÉcole Polytechnique2013

According to our current on-line database, César Muñoz has 4 students and 4 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 137174 for the advisor ID.