2015-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2015-phd.cite -ob 2015-phd.bib -c 'year = 2015 and topics : "team" and $type="phdthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@phdthesis{PhD-Lelay,
  author = {Catherine Lelay},
  title = {Repenser la biblioth\`eque r\'eelle de {Coq} : vers une
                  formalisation de l'analyse classique mieux adapt\'ee},
  type = {Th{\`e}se de Doctorat},
  school = {Universit{\'e} Paris-Sud},
  year = {2015},
  month = jun,
  topics = {team,lri},
  hal = {https://tel.archives-ouvertes.fr/tel-01228517},
  type_publi = {these}
}