2009-book.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2009-book.cite -ob 2009-book.bib -c 'year = 2009 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@inbook{benzaken09EDS,
author = {V. Benzaken and G. Castagna and H. Hosoya and B.C. Pierce and
S. Vansummeren},
chapter = {``{XML} Typechecking''},
title = {The Encyclopedia of Database Systems},
publisher = {Springer},
year = {2009},
annote = {types,xml,new},
note = {{\bf Invited Article}},
topics = {team, lri},
type_publi = {chapitre},
x-equipes = {demons PROVAL EXT},
x-type = {chapitre},
x-support = {ouvrage}
}
@incollection{paulin07kahn,
author = {Christine Paulin-Mohring},
title = {A constructive denotational semantics for {Kahn} networks in {Coq}},
booktitle = {From Semantics to Computer Science: Essays in Honor of {Gilles Kahn}},
publisher = {Cambridge University Press},
year = 2009,
editor = {Yves Bertot and G\'erard Huet and Jean-Jacques L\'evy and Gordon Plotkin},
type_digiteo = {chapitre},
type_publi = {chapitre},
topics = {team,lri},
x-pdf = {http://www.lri.fr/~paulin/PUBLIS/paulin07kahn.pdf},
hal = {http://hal.inria.fr/inria-00431806/en/},
x-equipes = {demons PROVAL},
x-type = {chapitre},
x-support = {ouvrage}
}