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 ordered by family name.

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

According to our current on-line database, César Muñoz has 5 students and 5 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.