Higher-order logic programming

by Gopalan Nadathur , Dale Miller
Venue:HANDBOOK OF LOGIC IN AI AND LOGIC PROGRAMMING, VOLUME 5: LOGIC PROGRAMMING. OXFORD (1998
Citations:155 - 16 self

Active Bibliography

3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
19 Higher Order Logic – Daniel Leivant - 1994
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
33 Encoding Transition Systems in Sequent Calculus – Raymond Mcdowell, Dale Miller, Catuscia Palamidessi - 1996
11 Foundational Aspects of Syntax – Dale Miller, Catuscia Palamidessi - 1999
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
The Australian National University – Alwen Tiu, Dale Miller
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
7 Representing and reasoning with operational semantics – Dale Miller - 2006
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
16 A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs – Amy Felty - 1991
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
7 Higher-Order Narrowing with Convergent Systems – Christian Prehofer - 1995
21 A Proof Search Specification of the π-Calculus – Alwen Tiu, Dale Miller - 2004