Christine Paulin-Mohring
Original record- Institution
- Université Paris Diderot - Paris 7
- Year
- 1989
- Country
- France
- MGP identifier
- 128359
Dissertation: Extraction de programmes dans le Calcul des Constructions
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Gérard Pierre HuetCase Western Reserve University · 1972
Students 14
| Name | Institution | Year | Students |
|---|---|---|---|
| Cuihtlauac Alvarado | Not recorded | — | 0 |
| June Andronick | Not recorded | — | 0 |
| Pierre Corbineau | Not recorded | — | 0 |
| David Delahaye | Not recorded | — | 3 |
| Jean-Christophe Filliâtre | Not recorded | — | 6 |
| Eduardo Giménez | Not recorded | — | 0 |
| Johannes Kanig | Not recorded | — | 1 |
| Pierre Letouzey | Not recorded | — | 0 |
| Patrick Loiseleur | Not recorded | — | 0 |
| Nicolas Oury | Not recorded | — | 0 |
| Catherine Parent | Not recorded | — | 0 |
| Julien Signoles | Not recorded | — | 0 |
| Matthieu Sozeau | Not recorded | — | 0 |
| Benjamin Werner | Not recorded | — | 10 |