1999-phd.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 1999-phd.cite -ob 1999-phd.bib -c 'year = 1999 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{Filliatre99,
  author = {Jean-Christophe Filli\^atre},
  title = {{Preuve de programmes imp\'eratifs en th\'eorie des types}},
  school = {Universit\'e Paris-Sud},
  year = 1999,
  month = jul,
  topics = {team},
  type_publi = {these},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/these.ps.gz}
}