@comment{{This file has been generated by bib2bib 1.97}}
@comment{{Command line: bib2bib --expand-xrefs -oc Publi/KIND_REPORT.cite -ob Publi/KIND_REPORT.bib -c '$type = "PHDTHESIS"' -c !topic="NOCITE" Publi/bibdata.bib}}
@phdthesis{GregoirePhd,
author = {B. Gr{\'e}goire},
title = {Compilation des termes de preuves: un (nouveau) mariage entre Coq et Ocaml.},
school = {Universit\'e Paris 7},
year = {2003},
type = {Th\'ese de doctorat, sp\'ecialit\'e informatique},
address = {\'ecole Polytechnique, France},
month = {December},
url = {http://www-sop.inria.fr/everest/personnel/Benjamin.Gregoire/Publi/gregoire_these.ps.gz}
}
This file was generated by bibtex2html 1.97.