Scoping Constructs In Logic Programming: Implementation Problems And Their Solution (1995)

Cached

Download Links

by Gopalan Nadathur , Bharat Jayaraman
Citations:21 - 9 self

Active Bibliography

155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
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
10 Implementing a Notion of Modules in the Logic Programming Language Prolog – Keehang Kwon, Keehang Kwon, Gopalan Nadathur, Gopalan Nadathur, Debra Sue Wilson, Debra Sue Wilson - 1993
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993
3 Unification in a λ-Calculus with Intersection Types – Michael Kohlhase, Frank Pfenning
2 The Architecture of an Implementation of λProlog: Prolog/Mali – Pascal Brisset, Olivier Ridoux - 1992
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
Explanation-Based Learning in Logic Programming Extended Abstract – Scott Dietzen, Frank Pfenning - 1989
20 Encoding Dependent Types in an Intuitionistic Logic – Amy Felty - 1991
16 A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs – Amy Felty - 1991