Unification under a mixed prefix (1992)

Cached

Download Links

by Dale Miller
Venue:Journal of Symbolic Computation
Citations:124 - 13 self

Active Bibliography

62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
The Australian National University – Alwen Tiu, Dale Miller
19 Higher Order Logic – Daniel Leivant - 1994
16 Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization – Scott Dietzen, Frank Pfenning - 1989
2 A meta language for type checking and inference: An extended abstract – Amy Felty, Dale Miller - 1989
36 An Extension to ML to Handle Bound Variables in Data Structures – Dale Miller - 1990
7 Representing and reasoning with operational semantics – Dale Miller - 2006
A short article for the Encyclopedia of Artificial Intelligence: Second Edition “Logic, Higher-order” – unknown authors - 1991
October 1990 A short article for the – Encyclopedia Of Artificial
Contents – The Phragmén-lindelöf Theorem - 2006
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
16 A Logic Programming Approach to Implementing Higher-Order Term Rewriting – Amy Felty - 1992
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003