@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.