Extensions and Applications of Higher-order Unification (1990)

by Conal M. Elliott
Citations:25 - 1 self

Active Bibliography

10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
19 Higher Order Logic – Daniel Leivant - 1994
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
Type Systems for Programming Languages – Steffen van Bakel - 2001
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
77 Elf: A Language for Logic Definition and Verified Metaprogramming – Frank Pfenning - 1989
26 Tabled Higher-Order Logic Programming – Brigitte Pientka - 2003
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
Practical Automated Theorem Proving with the Polarized Inverse Method – Sean McLaughlin - 2009
Propositions A:: = P Atoms – Linear Type Theory
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
36 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992