César Muñoz
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1997
- Country
- France
- MGP identifier
- 137174
Dissertation: Un calcul de substitutions pour la représentation de preuves partielles en théorie des types
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Gérard Pierre HuetCase Western Reserve University · 1972
- Gilles DowekUniversité Paris Diderot - Paris 7 · 1991
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Ariane Alves Almeida | Universidade de Brasília | 2021 | 0 |
| Andréia Borges Avelar | Not recorded | — | 0 |
| Florent Kirchner | Not recorded | — | 0 |
| Pierre Neron | École Polytechnique | 2013 | 0 |
| Thiago Mendonça Ferreira Ramos | Universidade de Brasília | 2023 | 0 |