@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -oc 2009-book.cite -ob 2009-book.bib -c 'year = 2009 and topics : "team" and ($type="book" or $type="inbook" or $type="incollection")' /home/marche/biblio/abbrevs.bib /home/marche/biblio/demons.bib /home/marche/biblio/demons2.bib /home/marche/biblio/demons3.bib /home/marche/biblio/team.bib /home/marche/biblio/crossrefs.bib}}
  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}
  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}