Higher-Order Horn Clauses (1990)

by Gopalan Nadathur , Dale Miller
Venue:JOURNAL OF THE ACM
Citations:62 - 19 self

Documents Related by Co-Citation

374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
70 Specifying theorem provers in a higherorder logic programming language – Amy Felty, Dale Miller - 1988
854 A formulation of the simple theory of types – Alonzo Church - 1940
176 An overview of -prolog – D Miller, G Nadathur - 1988
169 A unification algorithm for typed -calculus – G Huet - 1975
64 Lexical scoping as universal quantification – Dale Miller - 1989
46 Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language – Amy P. Felty, Dale Miller, Jean Gallier, Amy P. Felty, Supervisor Dale Miller - 1989
262 Investigations into logical deduction – G Gentzen - 1969
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
147 A logical analysis of modules in logic programming – Dale Miller - 1989
422 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
205 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
99 An Overview of λProlog – Gopalan Nadathur, Dale Miller - 1988
33 A Higher-Order Logic as the Basis for Logic Programming – G Nadathur - 1987
146 Proving and applying program transformations expressed with second-order patterns – G Huet, B Lang - 1978
114 A unification algorithm for typed λ-calculus – G Huet - 1975
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
20 Gopalan Nadathur. A logic programming approach to manipulating formulas and programs – Dale Miller - 1987