select2007.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2007.bib -c 'lixequipe : "Parsifal"' -c year=2007 master.bib}}
@inproceedings{baelde07cade,
  author = {David Baelde and Andrew Gacek and Dale Miller and
                 Gopalan Nadathur and Alwen Tiu},
  title = {The {Bedwyr} system for model checking over syntactic
                 expressions},
  booktitle = {21th Conf.\ on Automated Deduction (CADE)},
  pages = {391--397},
  year = {2007},
  editor = {F. Pfenning},
  number = {4603},
  series = {LNAI},
  publisher = {Springer},
  address = {New York},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/cade2007.pdf},
  doi = {10.1007/978-3-540-73595-3\_28},
  lixcategorie = {CIA},
  lixequipe = {Parsifal Slimmer},
  x-pays = {US,AU},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CADE},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no}
}
@inproceedings{baelde07lpar,
  author = {David Baelde and Dale Miller},
  title = {Least and greatest fixed points in linear logic},
  booktitle = {International Conference on Logic for Programming and
                 Automated Reasoning (LPAR)},
  editor = {N. Dershowitz and A. Voronkov},
  pages = {92--106},
  series = {LNCS},
  volume = {4790},
  year = {2007},
  keywords = {mobius, wp4},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lpar07final.pdf},
  doi = {10.1007/978-3-540-75560-9\_9},
  lixcategorie = {CIA},
  lixequipe = {Parsifal Slimmer},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {LPAR}
}
@unpublished{baelde07tr,
  author = {David Baelde and Dale Miller},
  title = {Least and greatest fixed points in linear logic:
                 extended version},
  note = {Technical report, available from the first author's
                 web page},
  month = apr,
  year = {2007},
  url = {http://www.lix.polytechnique.fr/~dbaelde/productions/pool/mumall_draft_long.pdf},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {rapport}
}
@article{dyckhoff07jlc,
  author = {Roy Dyckhoff and Stephane Lengrand},
  title = {Call-by-Value $\lambda$-calculus and {LJQ}},
  journal = {J. of Logic and Computation},
  year = {2007},
  volume = {17},
  number = {6},
  pages = {1109--1134},
  lixequipe = {Parsifal}
}
@techreport{lengrand07tr,
  author = {St\'ephane Lengrand},
  title = {Termination of lambda-calculus with the extra
                 Call-By-Value rule known as assoc},
  year = {2007},
  institution = {CNRS-Ecole Polytechnique-INRIA},
  note = {CoRR, abs/0806.4859},
  url = {http://hal.inria.fr/inria-00292029},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {rapport},
  lixequipe = {Parsifal}
}
@inproceedings{liang07csl,
  author = {Chuck Liang and Dale Miller},
  title = {Focusing and Polarization in Intuitionistic Logic},
  booktitle = {CSL 2007: Computer Science Logic},
  editor = {J. Duparc and T. A. Henzinger},
  volume = {4646},
  series = {LNCS},
  publisher = {Springer},
  pages = {451--465},
  keywords = {mobius, wp4},
  year = {2007},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/csl07liang.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {US},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CSL}
}
@unpublished{liang07report,
  author = {Chuck Liang and Dale Miller},
  title = {On focusing and polarities in linear logic and
                 intuitionistic logic},
  url = {http://hal.inria.fr/inria-00167231/},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/focusli.pdf},
  month = sep,
  year = {2007},
  lixcategorie = {AU},
  lixequipe = {Parsifal},
  x-pays = {US},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {rapport},
  note = {Extended version of accepted paper.}
}
@inproceedings{miller07csla,
  author = {Dale Miller and Vivek Nigam},
  title = {Incorporating tables into proofs},
  booktitle = {CSL 2007: Computer Science Logic},
  editor = {J. Duparc and T. A. Henzinger},
  year = {2007},
  volume = {4646},
  series = {LNCS},
  publisher = {Springer},
  pages = {466--480},
  keywords = {mobius, wp4},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/csl07nigam.pdf},
  doi = {10.1007/978-3-540-74915-8\_35},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CSL}
}
@inproceedings{miller07cslb,
  author = {Dale Miller and Alexis Saurin},
  title = {From proofs to focused proofs: a modular proof of
                 focalization in Linear Logic},
  booktitle = {CSL 2007: Computer Science Logic},
  editor = {J. Duparc and T. A. Henzinger},
  volume = {4646},
  series = {LNCS},
  publisher = {Springer},
  pages = {405--419},
  year = {2007},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/csl07saurin.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CSL}
}
@inproceedings{saurin07lpar,
  author = {Alexis Saurin},
  title = {Typing streams in the ${\Lambda}\mu$-calculus:
                 extended abstract},
  booktitle = {Proceedings of the Short Papers Session at LPAR 2007},
  month = oct,
  year = {2007},
  editors = {Nachum Dershowitz, Andrei Voronkov},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {articlecourt},
  x-support = {actes},
  x-cle-support = {LPAR},
  pdf = {http://www.eleves.ens.fr/home/saurin/Recherche/lpar07saurin.pdf}
}
@inproceedings{strassburger07hybrid,
  author = {Lutz Stra{\ss}burger},
  title = {Deep Inference for Hybrid Logic},
  year = {2007},
  booktitle = {International Workshop on Hybrid Logic 2007 (Part of
                 ESSLLI'07)},
  pdf = {http://www.lix.polytechnique.fr/~lutz/papers/hybrid.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes}
}
@inproceedings{strassburger07rta,
  author = {Lutz Stra{\ss}burger},
  title = {A Characterisation of Medial as Rewriting Rule},
  year = {2007},
  pages = {344--358},
  booktitle = {Term Rewriting and Applications, RTA'07},
  editor = {Franz Baader},
  pdf = {http://www.lix.polytechnique.fr/~lutz/papers/CharMedial.pdf},
  publisher = {Springer},
  volume = {4533},
  series = {LNCS},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {RTA}
}
@article{strassburger07tac,
  author = {Lutz Stra{\ss}burger},
  title = {On the Axiomatisation of {B}oolean Categories with and
                 without Medial},
  year = {2007},
  journal = {Theory and Applications of Categories},
  volume = {18},
  number = {18},
  pages = {536--601},
  pdf = {http://www.lix.polytechnique.fr/~lutz/papers/medial.pdf},
  url = {http://arxiv.org/abs/cs.LO/0512086},
  lixcategorie = {RI},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {[B]}
}

This file was generated by bibtex2html 1.98.