153

Higherorder logic programming
– Gopalan Nadathur, Dale Miller

14

Implementation Considerations for HigherOrder 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 HigherOrder Features in Logic Programming
– Gopalan Nadathur
 2003

3

ObjectLevel Substitution, Unification And Generalization In MetaLogic
– Chuck C. Liang
 1995

303

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

2

The Architecture of an Implementation of λProlog: Prolog/Mali
– Pascal Brisset, Olivier Ridoux
 1992

3

Unification in a λCalculus with Intersection Types
– Michael Kohlhase, Frank Pfenning

10

Elimination of Negation in a Logical Framework
– Alberto Momigliano
 2000

215

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


ExplanationBased 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
