select2003.bib

@comment{{This file has been generated by bib2bib 1.94}}

@comment{{Command line: /usr/bin/bib2bib -ob select2003.bib -c 'lixequipe : "Parsifal"' -c year=2003 master.bib}}

@inproceedings{gabbay03icfp,
  author = {M. R. Shinwell and A. M. Pitts and M. J. Gabbay},
  title = {Fresh{ML}: Programming with Binders Made Simple},
  booktitle = {Eighth {ACM SIGPLAN} International Conference on
                 Functional Programming ({ICFP} 2003), Uppsala, Sweden},
  pages = {263--274},
  year = {2003},
  month = aug,
  publisher = {ACM Press},
  lixequipe = {Parsifal},
  x-pays = {GB},
  lixcategorie = {CIA}
}

@article{mcdowell03tcs,
  author = {Raymond McDowell and Dale Miller and Catuscia
                 Palamidessi},
  title = {Encoding transition systems in sequent calculus},
  journal = {Theoretical Computer Science},
  year = {2003},
  volume = {294},
  number = {3},
  lixcategorie = {RI},
  lixequipe = {Parsifal},
  x-pays = {US},
  pages = {411--437},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tcs97.dvi},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tcs97.pdf},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tcs97.ps}
}

@inproceedings{miller03fcs,
  author = {Dale Miller},
  title = {Encryption as an Abstract Data-Type: An extended
                 abstract},
  booktitle = {Proceedings of FCS'03: Foundations of Computer
                 Security},
  editor = {Iliano Cervesato},
  pages = {3--14},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  year = {2003},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fcs03.dvi},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fcs03.pdf},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fcs03.ps}
}

@inproceedings{miller03lics,
  author = {Dale Miller and Alwen Tiu},
  title = {A Proof Theory for Generic Judgments: An extended
                 abstract},
  booktitle = {18th Symp.\ on Logic in Computer Science},
  pages = {118--127},
  editor = {Phokion Kolaitis},
  year = {2003},
  month = jun,
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {AU},
  publisher = {IEEE},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics03.pdf},
  ps = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics03.ps},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/lics03.dvi}
}

@inproceedings{miller03tphols,
  author = {Dale Miller},
  title = {Reasoning about proof search specifications: An
                 abstract},
  booktitle = {Theorem Proving in Higher Order Logics: 16th
                 International Conference, TPHOLs 2003},
  pages = {204},
  year = {2003},
  volume = {2758},
  series = {LNCS},
  publisher = {Springer},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  note = {Invited speaker},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tphols03talk.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tphols03talk.dvi}
}

@inproceedings{miller03unif,
  author = {Dale Miller},
  title = {Definitions, Unification, and the Sequent Calculus},
  booktitle = {Proceedings of the 17th International Workshop on
                 Unification, UNIF'03},
  pages = {1--2},
  year = {2003},
  editor = {J. Levy and M. Kohlhase and J. Niehren and M.
                 Villaret},
  series = {Technical Report DSIC-II/12/03},
  month = jun,
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  organization = {Departamento de Sistemas Inform{\`a}tics i
                 Computaci{\'o} Universidad Polit{\`e}cnica de
                 Val{\`e}ncia},
  note = {Invited talk}
}

@inproceedings{miller03wollic,
  author = {Dale Miller},
  title = {Encryption as an abstract data type},
  booktitle = {WoLLIC'2003, 10th Workshop on Logic, Language,
                 Information and Computation},
  series = {ENTCS},
  volume = {84},
  publisher = {Elsevier},
  editor = {Ruy de Queiroz and Elaine Pimentel and Lucilia
                 Figueiredo},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  note = {Invited talk},
  year = {2003}
}

@inproceedings{momigliano03types,
  author = {Alberto Momigliano and Alwen Tiu},
  title = {Induction and Co-induction in Sequent Calculus},
  booktitle = {Post-proceedings of TYPES 2003},
  editor = {Mario Coppo and Stefano Berardi and Ferruccio
                 Damiani},
  pages = {293--308},
  year = {2003},
  month = jan,
  series = {LNCS},
  number = {3085},
  pdf = {http://www.lix.polytechnique.fr/Labo/Alwen.Tiu/linc.pdf},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {IT}
}

@unpublished{tiu03foldn2,
  author = {Alwen Tiu},
  title = {Cut-elimination for a Logic with Generic Judgments},
  month = jan,
  year = {2003},
  note = {Draft, available via web.},
  pdf = {http://users.rsise.anu.edu.au/~tiu/foldn2.pdf},
  lixequipe = {Parsifal},
  x-pays = {},
  lixcategorie = {AU}
}

@inproceedings{urban03csl,
  author = {C. Urban and A. M. Pitts and M. J. Gabbay},
  title = {Nominal Unification},
  booktitle = {Computer Science Logic and 8th Kurt G{\"o}del
                 Colloquium (CSL'03 \& KGC), Vienna, Austria.
                 Proccedings},
  pages = {513--527},
  year = {2003},
  editor = {M. Baaz},
  series = {LNCS},
  publisher = {Springer, Berlin},
  lixequipe = {Parsifal},
  x-pays = {GB},
  lixcategorie = {CIA}
}

This file was generated by bibtex2html 1.94.