@comment{{This file has been generated by bib2bib 1.94}}
@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},
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},
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},
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},
x-pays = {},
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.94.