Danko Ilik
Original record- Institution
- École Polytechnique
- Year
- 2010
- Country
- France
- MGP identifier
- 150065
Dissertation: Constructive Completeness Proofs and Delimited Control
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Hugo HerbelinInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Wendlasida Ouedraogo | Institut Polytechnique de Paris | 2023 | 0 |