select2006.bib

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

@comment{{Command line: /usr/bin/bib2bib -ob select2006.bib -c 'lixequipe : "Parsifal"' -c year=2006 master.bib}}

@manual{baelde06manual,
  title = {A User Guide to {Bedwyr}},
  author = {David Baelde and Andrew Gacek and Dale Miller and
                 Gopalan Nadathur and Alwen Tiu},
  month = nov,
  pdf = {http://gforge.inria.fr/docman/view.php/367/705/userguide.pdf},
  year = {2006},
  lixcategorie = {AU},
  lixequipe = {Parsifal Slimmer},
  x-pays = {US,AU},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {diffusion}
}

@incollection{dicosmo06sep,
  author = {Roberto Di Cosmo and Dale Miller},
  title = {Linear Logic},
  booktitle = {The Stanford Encyclopedia of Philosophy},
  publisher = {Stanford University},
  editor = {Edward N. Zalta},
  url = {http://plato.stanford.edu/archives/fall2006/entries/logic-linear/},
  year = {2006},
  lixcategorie = {OUV},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {diffusion}
}

@article{lamarche06lmcs,
  author = {Fran\c{c}ois Lamarche and Lutz Stra{\ss}burger},
  title = {From Proof Nets to the Free *-Autonomous Category},
  journal = {Logical Methods in Computer Science},
  volume = {2},
  number = {4:3},
  year = {2006},
  pages = {1--44},
  pdf = {http://arxiv.org/pdf/cs.LO/0605054},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {[A]}
}

@inproceedings{leavens06gpce,
  key = {Leavens and {\em et al.}},
  author = {Gary T. Leavens and Jean-Raymond Abrial and Don Batory
                 and Michael Butler and Alessandro Coglio and Kathi
                 Fisler and Eric Hehner and Cliff Jones and Dale Miller
                 and Simon Peyton-Jones and Murali Sitaraman and Douglas
                 R. Smith and Aaron Stump},
  title = {Roadmap for Enhanced Languages and Methods to Aid
                 Verification},
  booktitle = {Fifth International Conference on Generative
                 Programming and Component Engineering (GPCE)},
  pages = {221--235},
  year = {2006},
  month = oct,
  organization = {ACM},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {US,GB},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {GPCE}
}

@misc{miller06alp,
  author = {Dale Miller},
  title = {Logic and Logic Programming: {A} Personal Account},
  howpublished = {ALP Newsletter},
  month = feb,
  year = {2006},
  note = {Vol.\ 19, No.\ 1},
  url = {http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/feb06/nav/articles/Dale/dale.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {diffusion}
}

@inproceedings{miller06ijcar,
  author = {Dale Miller},
  title = {Representing and reasoning with operational
                 semantics},
  booktitle = {Proceedings of IJCAR: International Joint Conference
                 on Automated Reasoning},
  month = aug,
  year = {2006},
  pages = {4--20},
  editor = {U. Furbach and N. Shankar},
  series = {LNAI},
  volume = {4130},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ijcar06.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ijcar06.dvi},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {IJCAR}
}

@inproceedings{miller06mfps,
  author = {Dale Miller and Alexis Saurin},
  title = {A game semantics for proof search: Preliminary
                 results},
  booktitle = {Proceedings of the Mathematical Foundations of
                 Programming Semantics (MFPS05)},
  pages = {543--563},
  number = {155},
  series = {ENTCS},
  year = {2006},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {[B]},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mfps05.pdf}
}

@inproceedings{miller06ppdp,
  author = {Dale Miller},
  title = {Collection analysis for {Horn} clause programs},
  booktitle = {Proceedings of PPDP 2006: 8th International ACM
                 SIGPLAN Conference on Principles and Practice of
                 Declarative Programming},
  month = jul,
  pages = {179--188},
  year = {2006},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.pdf},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.ps},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {PPDP}
}

@inproceedings{strassburger06clc,
  author = {Lutz Stra{\ss}burger},
  title = {What could a Boolean category be?},
  year = {2006},
  booktitle = {Classical Logic and Computation 2006 (Satellite
                 Workshop of ICALP'06)},
  editor = {Steffen van Bakel},
  pdf = {http://www.lix.polytechnique.fr/~lutz/papers/medial-kurz.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes}
}

@techreport{strassburger06tr,
  author = {Lutz Stra{\ss}burger},
  title = {Proof Nets and the Identity of Proofs},
  year = {2006},
  month = oct,
  institution = {INRIA},
  number = {6013},
  note = {Lecture notes for ESSLLI'06},
  type = {Research Report},
  url = {https://hal.inria.fr/inria-00107260},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {rapport}
}

This file was generated by bibtex2html 1.94.