select2011.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2011.bib -c 'lixequipe : "Parsifal"' -c year=2011 master.bib}}
@techreport{bernadet11blong,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Filter models: non-idempotent intersection types,
                 orthogonality and polymorphism - Long version},
  institution = {Laboratoire d'informatique de l'{\'e}cole
                 polytechnique - LIX, CNRS-Ecole Polytechnique-INRIA},
  year = {2011},
  month = jun,
  number = {hal-00600070},
  url = {http://hal.archives-ouvertes.fr/hal-00600070/en/},
  lixequipe = {Parsifal},
  lixcategorie = {RT}
}
@inproceedings{bernadet11csl,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Filter models: non-idempotent intersection types,
                 orthogonality and polymorphism},
  booktitle = {Proceedings of the 20th Annual conference of the
                 European Association for Computer Science Logic
                 (CSL'11)},
  editor = {Marc Bezem},
  month = sep,
  year = {2011},
  place = {Bergen, Norway},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  series = {Leibniz International Proceedings in Informatics
                 (LIPIcs)},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {}
}
@inproceedings{bernadet11fossacs,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Complexity of strongly normalising $\lambda$-terms via
                 non-idempotent intersection types},
  booktitle = {Proceedings of the 14th international conference on
                 Foundations of Software Science and Computation
                 Structures (FOSSACS'11)},
  editor = {Martin Hofmann},
  publisher = {Springer},
  series = {LNCS},
  volume = {6604},
  month = mar,
  year = {2011},
  place = {Saarbruecken, Germany},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {}
}
@inproceedings{chaudhuri11csl,
  author = {Kaustuv Chaudhuri and Nicolas Guenot and Lutz
                 Stra{\ss}burger},
  title = {{The Focused Calculus of Structures}},
  month = sep,
  year = {2011},
  url = {http://drops.dagstuhl.de/opus/volltexte/2011/3229/pdf/16.pdf},
  booktitle = {Computer Science Logic: 20th Annual Conference of the
                 EACSL},
  pages = {159--173},
  series = {Leibniz International Proceedings in Informatics
                 (LIPIcs)},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  doi = {10.4230/LIPIcs.CSL.2011.159},
  isbn = {978-3-939897-32-3},
  issn = {1868-8969},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  lixcategorie = {CIA},
  lixequipe = {Parsifal}
}
@techreport{farooque11tr,
  title = {{A sequent calculus with procedure calls}},
  author = {Mahfuza Farooque and St{\'e}phane Lengrand},
  institution = {Laboratoire d'informatique de l'{\'e}cole
                 polytechnique - LIX, CNRS-Ecole Polytechnique-INRIA},
  collaboration = {Project PSI: Proof-Search control in Interaction with
                 domain-specific methods},
  year = {2011},
  month = dec,
  url = {http://hal.archives-ouvertes.fr/hal-00690577},
  lixequipe = {Parsifal},
  lixcategorie = {RT}
}
@article{gacek11ic,
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  title = {Nominal abstraction},
  journal = {Information and Computation},
  year = {2011},
  volume = {209},
  number = {1},
  pages = {48--73},
  doi = {10.1016/j.ic.2010.09.004},
  lixcategorie = {RI},
  lixequipe = {Parsifal},
  x-pays = {US},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {revue},
  pdf = {http://arxiv.org/abs/0908.1390}
}
@inproceedings{guenot11ppdp,
  author = {Nicolas Guenot},
  title = {Nested proof search as reduction in the
                 Lambda-calculus},
  booktitle = {Proceedings of the 13th International ACM SIGPLAN
                 Conference on Principles and Practice of Declarative
                 Programming (PPDP)},
  editors = {Peter Schneider-Kamp and Michael Hanus},
  year = {2011},
  pages = {183--194},
  lixequipe = {Parsifal},
  lixcategorie = {CIA}
}
@article{guglielmi11mscs,
  author = {Alessio Guglielmi and Lutz Stra{\ss}burger},
  title = {A system of interaction and structure {V}: the
                 exponentials and splitting},
  journal = {Mathematical Structures in Computer Science},
  volume = {21},
  number = {3},
  year = {2011},
  pages = {563--584},
  doi = {10.1017/S096012951100003X},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  lixequipe = {Parsifal},
  lixcategorie = {RI}
}
@article{lengrand10lmcs,
  author = {{St\'ephane} Lengrand and Roy Dyckhoff and James
                 McKinna},
  title = {A Focused Sequent Calculus Framework for Proof Search
                 in Pure Type Systems},
  year = {2011},
  journal = {Logical Methods in Computer Science},
  volume = {7},
  number = {1},
  url = {http://www.lix.polytechnique.fr/~lengrand/Work/Reports/TTSC09.pdf},
  lixcategorie = {RI},
  lixequipe = {Parsifal},
  x-pays = {GB},
  x-editorial-board = {yes},
  x-international-audience = {yes}
}
@article{liang11apal,
  author = {Chuck Liang and Dale Miller},
  title = {A Focused Approach to Combining Logics},
  journal = {Annals of Pure and Applied Logic},
  pages = {679--697},
  volume = {162},
  number = {9},
  year = {2011},
  doi = {10.1016/j.apal.2011.01.012},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lku.pdf},
  lixcategorie = {RI},
  lixequipe = {Parsifal},
  x-pays = {US},
  aeres = {Dummy Field},
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {revue},
  x-cle-support = {APAL},
  x-international-audience = {yes},
  x-editorial-board = {yes}
}
@inproceedings{miller11cpp,
  author = {Dale Miller},
  title = {A proposal for broad spectrum proof certificates},
  booktitle = {CPP: First International Conference on Certified
                 Programs and Proofs},
  year = {2011},
  editor = {J.-P. Jouannaud and Z. Shao},
  series = {LNCS},
  volume = {7086},
  pages = {54--69},
  doi = {10.1007/978-3-642-25379-9\_6},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  aeres = {Dummy Field},
  x-equipes = {parsifal EXT},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {CPP},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  x-invited-conference = {no},
  x-scientific-popularization = {no},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/cpp11.pdf}
}
@phdthesis{strassburger11hdr,
  author = {Lutz Stra{\ss}burger},
  school = {Universit\'e Paris VII},
  title = {Towards a Theory of Proofs of Classical Logic},
  type = {Habiliatation \`{a} diriger des recherches},
  year = {2011},
  lixequipe = {Parsifal},
  lixcategorie = {HDR}
}
@article{strassburger11jlc,
  author = {Lutz Stra{\ss}burger},
  title = {From Deep Inference to Proof Nets via Cut
                 Elimination},
  journal = {J. of Logic and Computation},
  year = {2011},
  volume = {21},
  number = {4},
  pages = {589--624},
  month = aug,
  x-equipes = {parsifal},
  x-type = {article},
  x-support = {revue},
  lixcategorie = {RI},
  lixequipe = {Parsifal}
}
@article{strassburger11tocl,
  author = {Lutz Stra{\ss}burger and Alessio Guglielmi},
  title = {A system of interaction and structure {IV}: The
                 exponentials and decomposition},
  journal = {ACM Trans. Comput. Log.},
  volume = {12},
  number = {4},
  year = {2011},
  pages = {23},
  doi = {10.1145/1970398.1970399},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-international-audience = {yes},
  lixequipe = {Parsifal},
  lixcategorie = {RI}
}

This file was generated by bibtex2html 1.98.