TY  - THES
DP  - 
		http://www.theses.fr/2006EPXX0066
TI  - Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère
AU  - Hernest, Mircea Dan
A3  - Jouannaud, Jean-Pierre; Schwichtenberg, Helmut
PY  - 2006
SP  - 1 vol. (XXI-239 p.)
N1  - Thèse de doctorat Informatique Palaiseau, Ecole polytechnique 2006
N1  - 2006EPXX0066
ER  -