select2002.bib

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

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

@inproceedings{gabbay02tphols,
  author = {Murdoch J. Gabbay},
  title = {Automating {F}raenkel-{M}ostowski Syntax},
  booktitle = {TPHOLs, 15th International Conference on Theorem
                 Proving in Higher Order Logics},
  year = {2002},
  month = aug,
  lixequipe = {Parsifal},
  x-pays = {},
  lixcategorie = {CIA}
}

@article{mcdowell02tocl,
  author = {Raymond McDowell and Dale Miller},
  title = {Reasoning with Higher-Order Abstract Syntax in a
                 Logical Framework},
  journal = {ACM Trans.\ on Computational Logic},
  year = {2002},
  volume = {3},
  number = {1},
  pages = {80--136},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mcdowell01.pdf},
  lixequipe = {Parsifal Slimmer},
  x-pays = {US},
  lixcategorie = {RI}
}

@inproceedings{miller02amast,
  author = {Dale Miller},
  title = {Higher-order quantification and proof search},
  booktitle = {Proceedings of AMAST 2002},
  pages = {60--74},
  year = {2002},
  editor = {H\'el\`ene Kirchner and Christophe Ringeissen},
  number = {2422},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  series = {LNCS},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/amast02.pdf}
}

@inproceedings{miller02fsttcs,
  author = {Dale Miller and Alwen Tiu},
  title = {Encoding Generic Judgments},
  booktitle = {Proceedings of FSTTCS},
  pages = {18--32},
  year = {2002},
  publisher = {Springer},
  series = {LNCS},
  number = {2556},
  lixcategorie = {CIA},
  lixequipe = {Parsifal},
  x-pays = {},
  month = dec,
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.pdf},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/fsttcs02.dvi}
}

@misc{miller02llw,
  author = {Dale Miller},
  title = {Higher-order quantification and proof search: an
                 extended abstract},
  month = jul,
  year = {2002},
  note = {Presented at Linear Logic 2002, FLoC, Copenhagen},
  lixequipe = {Parsifal},
  x-pays = {},
  lixcategorie = {AU}
}

@inproceedings{miller02tableaux,
  author = {Dale Miller and Elaine Pimentel},
  title = {Using linear logic to reason about sequent systems},
  pages = {2--23},
  editor = {Uwe Egly and Christian G. Ferm{\"u}ller},
  booktitle = {International Conference on Automated Reasoning with
                 Analytic Tableaux and Related Methods},
  publisher = {Springer},
  series = {LNCS},
  volume = {2381},
  year = {2002},
  dvi = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.dvi},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/tableaux02.pdf},
  lixequipe = {Parsifal},
  x-pays = {BR},
  lixcategorie = {CIA}
}

@unpublished{tiu02Llambda,
  author = {Alwen F. Tiu},
  title = {An Extension of {L-lambda} Unification},
  month = sep,
  year = {2002},
  note = {\url{http://www.ntu.edu.sg/home/atiu/llambdaext.pdf}},
  url = {http://www.ntu.edu.sg/home/atiu/llambdaext.pdf},
  dvi = {http://www.ntu.edu.sg/home/atiu/llambdaext.dvi},
  lixequipe = {Parsifal},
  x-pays = {},
  lixcategorie = {AU}
}

This file was generated by bibtex2html 1.98.