2000-phd.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2000-phd.cite -ob 2000-phd.bib -c 'year = 2000 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{abdiche00these,
  author = {Mina Abdiche},
  title = {{$\pi$-calcul} et sous-typage: inf{\'e}rence de types et
		codages du {$\lambda$-calcul} dans le {$\pi$-calcul}},
  school = {Universit{\'e}  Paris-Sud},
  year = 2000,
  month = jul,
  topics = {team},
  type_publi = {these}
}