A logic for reasoning with higher-order abstract syntax
- 22 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 26 references indexed in Scilit:
- Specifying theorem provers in a higher-order logic programming languagePublished by Springer Nature ,2005
- Elf: a language for logic definition and verified metaprogrammingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Rules of definitional reflectionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Pi: An interactive derivation editor for the calculus of partial inductive definitionsPublished by Springer Nature ,1994
- Implementing tactics and tacticals in a higher-order logic programming languageJournal of Automated Reasoning, 1993
- From operational semantics to abstract machinesMathematical Structures in Computer Science, 1992
- Implementing the meta-theory of deductive systemsPublished by Springer Nature ,1992
- Partial inductive definitionsTheoretical Computer Science, 1991
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988
- Natural deduction as higher-order resolutionThe Journal of Logic Programming, 1986