@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -ob select2006.bib -c 'lixequipe : "Parsifal"' -c year=2006 master.bib}}
@manual{baelde06manual, title = {A User Guide to {Bedwyr}}, author = {David Baelde and Andrew Gacek and Dale Miller and Gopalan Nadathur and Alwen Tiu}, month = nov, pdf = {http://gforge.inria.fr/docman/view.php/367/705/userguide.pdf}, year = {2006}, lixcategorie = {AU}, lixequipe = {Parsifal Slimmer}, x-pays = {US,AU}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {diffusion} }
@incollection{dicosmo06sep, author = {Roberto Di Cosmo and Dale Miller}, title = {Linear Logic}, booktitle = {The Stanford Encyclopedia of Philosophy}, publisher = {Stanford University}, editor = {Edward N. Zalta}, url = {http://plato.stanford.edu/archives/fall2006/entries/logic-linear/}, year = {2006}, lixcategorie = {OUV}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {diffusion} }
@article{lamarche06lmcs, author = {Fran\c{c}ois Lamarche and Lutz Stra{\ss}burger}, title = {From Proof Nets to the Free *-Autonomous Category}, journal = {Logical Methods in Computer Science}, volume = {2}, number = {4:3}, year = {2006}, pages = {1--44}, pdf = {http://arxiv.org/pdf/cs.LO/0605054}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {revue}, x-cle-support = {[A]} }
@inproceedings{leavens06gpce, key = {Leavens and {\em et al.}}, author = {Gary T. Leavens and Jean-Raymond Abrial and Don Batory and Michael Butler and Alessandro Coglio and Kathi Fisler and Eric Hehner and Cliff Jones and Dale Miller and Simon Peyton-Jones and Murali Sitaraman and Douglas R. Smith and Aaron Stump}, title = {Roadmap for Enhanced Languages and Methods to Aid Verification}, booktitle = {Fifth International Conference on Generative Programming and Component Engineering (GPCE)}, pages = {221--235}, year = {2006}, month = oct, organization = {ACM}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {US,GB}, aeres = {Dummy Field}, x-equipes = {parsifal EXT}, x-type = {article}, x-support = {actes}, x-cle-support = {GPCE} }
@misc{miller06alp, author = {Dale Miller}, title = {Logic and Logic Programming: {A} Personal Account}, howpublished = {ALP Newsletter}, month = feb, year = {2006}, note = {Vol.\ 19, No.\ 1}, url = {http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/feb06/nav/articles/Dale/dale.pdf}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {diffusion} }
@inproceedings{miller06ijcar, author = {Dale Miller}, title = {Representing and reasoning with operational semantics}, booktitle = {Proceedings of IJCAR: International Joint Conference on Automated Reasoning}, month = aug, year = {2006}, pages = {4--20}, editor = {U. Furbach and N. Shankar}, series = {LNAI}, volume = {4130}, pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ijcar06.pdf}, dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ijcar06.dvi}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {IJCAR} }
@inproceedings{miller06mfps, author = {Dale Miller and Alexis Saurin}, title = {A game semantics for proof search: Preliminary results}, booktitle = {Proceedings of the Mathematical Foundations of Programming Semantics (MFPS05)}, pages = {543--563}, number = {155}, series = {ENTCS}, year = {2006}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {[B]}, pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mfps05.pdf} }
@inproceedings{miller06ppdp, author = {Dale Miller}, title = {Collection analysis for {Horn} clause programs}, booktitle = {Proceedings of PPDP 2006: 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming}, month = jul, pages = {179--188}, year = {2006}, pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.pdf}, ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ppdp06.ps}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes}, x-cle-support = {PPDP} }
@inproceedings{strassburger06clc, author = {Lutz Stra{\ss}burger}, title = {What could a Boolean category be?}, year = {2006}, booktitle = {Classical Logic and Computation 2006 (Satellite Workshop of ICALP'06)}, editor = {Steffen van Bakel}, pdf = {http://www.lix.polytechnique.fr/~lutz/papers/medial-kurz.pdf}, lixcategorie = {CIA}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {actes} }
@techreport{strassburger06tr, author = {Lutz Stra{\ss}burger}, title = {Proof Nets and the Identity of Proofs}, year = {2006}, month = oct, institution = {INRIA}, number = {6013}, note = {Lecture notes for ESSLLI'06}, type = {Research Report}, url = {https://hal.inria.fr/inria-00107260}, lixcategorie = {AU}, lixequipe = {Parsifal}, x-pays = {}, aeres = {Dummy Field}, x-equipes = {parsifal}, x-type = {article}, x-support = {rapport} }
This file was generated by bibtex2html 1.98.