2003-journal.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2003-journal.cite -ob 2003-journal.bib -c 'year = 2003 and topics : "team" and $type="article"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{DCKP02,
  title = {Proof Nets and Explicit Substitutions},
  author = {Roberto Di~Cosmo,  Delia Kesner and Emmanuel Polonovski},
  journal = {Mathematical Structures in Computer Science},
  volume = {13},
  number = {3},
  year = {2003},
  pages = {409--450},
  topics = {team, lri},
  type_publi = {irevcomlec}
}

@article{Filliatre03jfp,
  author = {Jean-Christophe Filli\^atre},
  title = {Verification of Non-Functional Programs
                   using Interpretations in Type Theory},
  volume = 13,
  journal = {Journal of Functional Programming},
  number = 4,
  pages = {709--745},
  month = jul,
  year = 2003,
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/jphd.pdf},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/jphd.pdf},
  type_publi = {irevcomlec},
  topics = {team}
}

@article{FilliatrePottier02,
  author = {Jean-Christophe Filli\^atre and F. Pottier},
  title = {{Producing All Ideals of a Forest, Functionally}},
  journal = {Journal of Functional Programming},
  volume = 13,
  number = 5,
  pages = {945--956},
  month = {September},
  year = 2003,
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/kr-fp.pdf},
  topics = {team, lri},
  type_publi = {irevcomlec}
}