Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère
par Mircea Dan Hernest
Thèse de doctorat en Informatique
Sous la direction de Jean-Pierre Jouannaud et de Helmut Schwichtenberg.
Soutenue en 2006
Le jury était composé de Christine Paulin-Mohring, Ulrich Kohlenbach.
Les rapporteurs étaient Ulrich Berger, Michel Parigot.
- Quantificateurs sans signification computationnelle (Uniformes)
- Extraction de programmes à partir de preuves (classiques)
- Logique combinatoire
mots clés
-
Pas de résumé disponible.
-
Titre traduit
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation
-
Pas de résumé disponible.
Autre version
Cette thèse a donné lieu à une publication en 2010 par [CCSD] à Villeurbanne
Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectia (monotone) légère
