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