Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère
FR |
EN
Auteur / Autrice : | Mircea Dan Hernest |
Direction : | Jean-Pierre Jouannaud, Helmut Schwichtenberg |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2006 |
Etablissement(s) : | Palaiseau, Ecole polytechnique |
Jury : | Examinateurs / Examinatrices : Christine Paulin-Mohring, Ulrich Kohlenbach |
Rapporteurs / Rapporteuses : Ulrich Berger, Michel Parigot |
Mots clés
FR