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