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