@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2008.bib -c 'lixequipe : "Parsifal"' -c year=2008 master.bib}}
@inproceedings{baelde08jfla,
author = {David Baelde and Samuel Mimram},
title = {{De la webradio lambda \`a la $\lambda$-webradio}},
booktitle = {Journ\'ees Francophones des Langages Applicatifs},
editor = {Ensiie Cedric},
year = {2008},
location = {Etretat, France},
pages = {47--61},
publisher = {INRIA},
isbn = {2-7261-1295-1},
pdf = {http://www.lix.polytechnique.fr/~dbaelde/productions/pool/jfla08.pdf},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {actes},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {no},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{baelde08lfmtp,
author = {David Baelde},
title = {On the Expressivity of Minimal Generic
Quantification},
booktitle = {International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice (LFMTP 2008)},
year = {2008},
editor = {A. Abel and C. Urban},
pages = {3--19},
series = {ENTCS},
number = {228},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
doi = {10.1016/j.entcs.2008.12.113},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {[B]},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@phdthesis{baelde08phd,
author = {David Baelde},
title = {A linear approach to the proof-theory of least and
greatest fixed points},
school = {Ecole Polytechnique},
year = {2008},
month = dec,
aeres = {Dummy Field},
lixcategorie = {TH},
lixequipe = {Parsifal},
x-pays = {FR}
}
@techreport{baelde08tr,
author = {David Baelde},
title = {On the Expressivity of Minimal Generic Quantification:
Extended Version},
institution = {INRIA/HAL},
number = {inria-00284186},
url = {http://hal.inria.fr/inria-00284186},
year = {2008},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {rapport},
lixcategorie = {RT},
lixequipe = {Parsifal}
}
@article{chaudhuri08jar,
author = {Kaustuv Chaudhuri and Frank Pfenning and Greg Price},
title = {A Logical Characterization of Forward and Backward
Chaining in the Inverse Method},
journal = {J. of Automated Reasoning},
year = {2008},
month = mar,
volume = {40},
number = {2-3},
pages = {133--177},
doi = {10.1007/s10817-007-9091-0},
pdf = {http://www.springerlink.com/content/b335r17728862pm2/fulltext.pdf},
lixcategorie = {RI},
lixequipe = {Parsifal},
x-pays = {US},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {revue}
}
@inproceedings{chaudhuri08tcs,
author = {Kaustuv Chaudhuri and Dale Miller and Alexis Saurin},
title = {Canonical Sequent Proofs via Multi-Focusing},
booktitle = {Fifth International Conference on Theoretical Computer
Science},
publisher = {Springer},
year = {2008},
volume = {273},
series = {IFIP},
editor = {G. Ausiello and J. Karhum{\"a}ki and G. Mauri and L.
Ong},
month = sep,
pages = {383--396},
pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tcs08trackb.pdf},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {[B]},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{delande08lics,
author = {Olivier Delande and Dale Miller},
title = {A neutral approach to proof and refutation in {MALL}},
booktitle = {23th Symp.\ on Logic in Computer Science},
year = {2008},
editor = {F. Pfenning},
publisher = {IEEE Computer Society Press},
doi = {10.1016/j.apal.2009.07.017},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {LICS},
pages = {498--508},
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08b.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{gabbay08entcs,
author = {Murdoch Gabbay and {St\'ephane} Lengrand},
title = {The lambda-context Calculus},
editor = {Brigitte Pientka and Carsten {Sch\"urmann}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {196},
year = {2008},
pages = {19--35},
booktitle = {Revisions from the Second International Workshop on
Logical Frameworks and Meta-Languages: Theory and
Practice (LFMTP 2007)},
doi = {10.1016/j.entcs.2007.09.015},
lixequipe = {Parsifal},
lixcategorie = {CIA}
}
@inproceedings{gacek08lfmtp,
author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
title = {Reasoning in {A}bella about Structural Operational
Semantics Specifications},
booktitle = {International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice (LFMTP 2008)},
year = {2008},
editor = {A. Abel and C. Urban},
series = {ENTCS},
number = {228},
pages = {85--100},
pdf = {http://arxiv.org/pdf/0804.3914.pdf},
doi = {10.1016/j.entcs.2008.12.118},
lixcategorie = {CIA},
lixequipe = {Parsifal Slimmer},
x-pays = {US},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {[B]},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{gacek08lics,
author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
title = {Combining generic judgments with recursive
definitions},
booktitle = {23th Symp.\ on Logic in Computer Science},
year = {2008},
editor = {F. Pfenning},
publisher = {IEEE Computer Society Press},
pages = {33--44},
lixcategorie = {CIA},
lixequipe = {Parsifal Slimmer},
x-pays = {US},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {LICS},
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics08a.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{kikuchi08fossacs,
author = {Kentaro Kikuchi and {St\'ephane} Lengrand},
title = {Strong Normalisation of Cut-Elimination that Simulates
{\(\beta\)}-Reduction},
booktitle = {11th International Conference on Foundations of
Software Science and Computation Structures
(FOSSACS'08)},
editor = {Roberto Amadio},
publisher = {Springer},
series = {LNCS},
volume = {4962},
month = mar,
year = {2008},
address = {Budapest, Hungary},
pages = {380--394},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {actes},
x-cle-support = {FOSSACS},
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/~lengrand/Work/Reports/FOSSACS08.pdf},
lixequipe = {Parsifal},
lixcategorie = {CIA}
}
@article{lengrand08apal,
author = {{St\'ephane} Lengrand and Alexandre Miquel},
title = {Classical {$F_\omega$}, orthogonality and symmetric
candidates},
editor = {Stephen van Bakel and Stefano Berardi},
journal = {Annals of Pure and Applied Logic},
publisher = {Elsevier},
volume = {153},
number = {1--3},
year = {2008},
month = mar,
pages = {3--20},
lixequipe = {Parsifal},
lixcategorie = {RI}
}
@incollection{miller08andrews,
author = {Dale Miller},
title = {A Proof-Theoretic Approach to the Static Analysis of
Logic Programs},
booktitle = {Reasoning in Simple Type Theory: Festschrift in Honor
of Peter B. Andrews on His 70th Birthday},
publisher = {College Publications},
editors = {Christoph Benzm{\"u}ller and Chad E. Brown and
J{\"o}rg Siekmann and Richard Statman},
year = {2008},
series = {Studies in Logic},
number = {17},
pages = {423--442},
lixcategorie = {OUV},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/andrews-festschrift-2007.pdf}
}
@article{miller08beatcs,
author = {Dale Miller},
title = {Formalizing operational semantic specifications in
logic},
journal = {Concurrency Column of the Bulletin of the EATCS},
year = {2008},
editor = {Luca Aceto},
month = oct,
pdf = {http://www.ru.is/faculty/luca/BEATCS/miller.pdf},
lixcategorie = {RI},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes}
}
@inproceedings{nigam08cie,
author = {Vivek Nigam},
title = {Using tables to construct non-redundant proofs},
booktitle = {CiE 2008: Abstracts and extended abstracts of
unpublished papers},
year = {2008},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {CIE},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no},
pdf = {http://www.lix.polytechnique.fr/~nigam/docs/nigam_Non_Redundant_Proofs.pdf}
}
@inproceedings{nigam08ijcar,
author = {Vivek Nigam and Dale Miller},
title = {Focusing in linear meta-logic},
booktitle = {Proceedings of IJCAR: International Joint Conference
on Automated Reasoning},
year = {2008},
editors = {Alessandro Armando and Peter Baumgartner and Gilles
Dowek},
url = {http://hal.inria.fr/inria-00281631/en/},
publisher = {Springer},
series = {LNAI},
pages = {507--522},
volume = {5195},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
keywords = {mobius, wp4},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {IJCAR},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@techreport{pagani08tr,
author = {Michele Pagani and Alexis Saurin},
title = {Stream Associative Nets and Lambda-mu-calculus},
institution = {INRIA},
year = {2008},
number = {6431},
month = jan,
url = {http://hal.inria.fr/inria-00221221/en},
lixcategorie = {RT},
lixequipe = {Parsifal},
x-pays = {IT},
aeres = {Dummy Field},
x-equipes = {parsifal EXT},
x-type = {article},
x-support = {rapport}
}
@inproceedings{saurin08csl,
author = {Alexis Saurin},
title = {On the Relations between the syntactic theories of
$\lambda\mu$-calculi},
booktitle = {17th EACSL Annual Conference on Computer Science Logic
2008 (CSL 2008)},
month = sep,
year = {2008},
editors = {Michael Kaminski, Simone Martini},
publisher = {Spring},
series = {LNCS},
note = {To appear},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {CSL},
pdf = {http://www.eleves.ens.fr/home/saurin/Recherche/lpar07saurin.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
x-invited-conference = {no},
x-scientific-popularization = {no}
}
@inproceedings{saurin08iclp,
author = {Alexis Saurin},
title = {Towards Ludics Programming: Interactive Proof Search},
booktitle = {Logic Programming, 24th International Conference},
year = {2008},
editors = {Maria Garcia de la Banda and Enrico Pontelli},
month = dec,
series = {LNCS},
volume = {5366},
pages = {253--268},
url = {http://www.lix.polytechnique.fr/~saurin/Recherche/Publi/saurin\_iclp08.pdf},
lixcategorie = {CIA},
lixequipe = {Parsifal},
x-pays = {},
aeres = {Dummy Field},
x-equipes = {parsifal},
x-type = {article},
x-support = {actes},
x-cle-support = {ICLP}
}
@phdthesis{saurin08phd,
author = {Alexis Saurin},
title = {Une \'etude logique du contr\^ole (appliqu\'ee \`a\ la
programmation fonctionnelle et logique)},
school = {Ecole Polytechnique},
year = {2008},
month = sep,
url = {http://www.lix.polytechnique.fr/~saurin/Recherche/These/},
aeres = {Dummy Field},
lixcategorie = {TH},
lixequipe = {Parsifal},
x-pays = {}
}
This file was generated by bibtex2html 1.98.