Higher-Order Horn Clauses (1990)

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

Active Bibliography

Higher-Order Logic as the Basis for Logic Programming – Higher-order Horn Clauses, Gopalan Nadathur, Gopalan Nadathur, Dale Miller - 1989
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
123 Unification under a mixed prefix – Dale Miller - 1992
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
M. Jean-Pierre Banâtre président Me Christine Paulin-Mohring rapporteurs – Olivier Ridoux, Mm. Alain Colmerauer, René Lalement, Mm. Yves Bekkers Examinateurs, Laurent Trilling