@PHDTHESIS{herne2006,
url = "
		http://www.theses.fr/2006EPXX0066",
title = "Extraction de programmes optimisés à partir de preuves (non-constructives) par l'interprétation Dialectica (monotone) légère",
author = "Hernest, Mircea Dan",
year = "2006",
pages = "1 vol. (XXI-239 p.)",
note = "Thèse de doctorat dirigée par Jouannaud, Jean-Pierre et Schwichtenberg, Helmut Informatique Palaiseau, Ecole polytechnique 2006",
note = "2006EPXX0066",
}