Abstract syntax and logic programming

This publication has 13 references indexed in Scilit:

• A logic program for transforming sequent proofs to natural deduction proofs
  Published by Springer Nature ,2006
• Specifying theorem provers in a higher-order logic programming language
  Published by Springer Nature ,2005
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
  Journal of Logic and Computation, 1991
• From operational semantics to abstract machines: preliminary results
  Published by Association for Computing Machinery (ACM) ,1990
• Encoding a dependent-type λ-calculus in a logic programming language
  Published by Springer Nature ,1990
• Partial polymorphic type inference and higher-order unification
  Published by Association for Computing Machinery (ACM) ,1988
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Proving and applying program transformations expressed with second-order patterns
  Acta Informatica, 1978
• A formulation of the simple theory of types
  The Journal of Symbolic Logic, 1940