Extensions and Applications of Higher-order Unification (1990)

by Conal M. Elliott
Citations:24 - 1 self

Active Bibliography

10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
16 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
16 Higher Order Logic – Daniel Leivant - 1994
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
21 Polymorphic Type Inference and Semi-Unification – Fritz Henglein - 1989
172 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
145 Higher-order logic programming – Gopalan Nadathur, Dale Miller
54 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
Type Systems for Programming Languages – Steffen van Bakel - 2001
98 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
26 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
70 Elf: A Language for Logic Definition and Verified Metaprogramming – Frank Pfenning - 1989
25 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
25 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
Practical Automated Theorem Proving . . . – Sean Mclaughlin - 2009
Propositions A:: = P Atoms – Linear Type Theory
25 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
33 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992