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}
}