Implementing the meta-theory of deductive systems

This publication has 15 references indexed in Scilit:

• Natural semantics
  Published by Springer Nature ,2005
• Elf: a language for logic definition and verified metaprogramming
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Unification and anti-unification in the calculus of constructions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A Proof-Theoretic Approach to Logic Programming
  Journal of Logic and Computation, 1991
• Operational semantics in a natural deduction setting
  Published by Cambridge University Press (CUP) ,1991
• Logic programming in the LF logical framework
  Published by Cambridge University Press (CUP) ,1991
• From operational semantics to abstract machines: preliminary results
  Published by Association for Computing Machinery (ACM) ,1990
• Extensions to the rippling-out tactic for guiding inductive proofs
  Published by Springer Nature ,1990
• The Expressiveness of Simple and Second-Order Type Structures
  Journal of the ACM, 1983
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935