|||Murdoch J. Gabbay. Automating Fraenkel-Mostowski syntax. In TPHOLs, 15th International Conference on Theorem Proving in Higher Order Logics, August 2002. [ bib ]|
|||Raymond McDowell and Dale Miller. Reasoning with higher-order abstract syntax in a logical framework. ACM Trans. on Computational Logic, 3(1):80-136, 2002. [ bib | .pdf ]|
|||Dale Miller. Higher-order quantification and proof search. In Hélène Kirchner and Christophe Ringeissen, editors, Proceedings of AMAST 2002, number 2422 in LNCS, pages 60-74, 2002. [ bib | .pdf ]|
|||Dale Miller. Higher-order quantification and proof search: an extended abstract, July 2002. Presented at Linear Logic 2002, FLoC, Copenhagen. [ bib ]|
|||Dale Miller and Elaine Pimentel. Using linear logic to reason about sequent systems. In Uwe Egly and Christian G. Fermüller, editors, International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 2381 of LNCS, pages 2-23. Springer, 2002. [ bib | .dvi | .pdf ]|
|||Dale Miller and Alwen Tiu. Encoding generic judgments. In Proceedings of FSTTCS, number 2556 in LNCS, pages 18-32. Springer, December 2002. [ bib | .dvi | .pdf ]|
|||Alwen F. Tiu. An extension of L-lambda unification. http://www.ntu.edu.sg/home/atiu/llambdaext.pdf, September 2002. [ bib | .pdf | .dvi ]|
This file was generated by bibtex2html 1.97.