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