Unification and Anti-Unification in the Calculus of Constructions (1991)

Cached

Download Links

by Frank Pfenning
Venue:In Sixth Annual IEEE Symposium on Logic in Computer Science
Citations:61 - 15 self

Documents Related by Co-Citation

695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
176 An overview of -prolog – D Miller, G Nadathur - 1988
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
389 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
44 Natural Semantics and Some of its Meta-Theory in Elf – Spiro Michaylov, Frank Pfenning - 1991
56 Unification via Explicit Substitutions: The Case of Higher-Order Patterns – Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning - 1998
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
56 Unification of simply typed lambda-terms as logic programming – Dale Miller - 1991
169 A unification algorithm for typed -calculus – G Huet - 1975
20 A module system for a programming language based on the LF logical framework – Robert Harper, Frank Pfenning - 1992
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
99 An Overview of λProlog – Gopalan Nadathur, Dale Miller - 1988
41 Compiler Verification in LF – John Hannan, Frank Pfenning - 1992
13 Higher-Order Logic Programming as Constraint Logic Programming – Spiro Michaylov, Frank Pfenning - 1993
123 Primitive Recursion for Higher-Order Abstract Syntax – Joëlle Despeyroux, Frank Pfenning - 1997
373 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
77 Elf: A Language for Logic Definition and Verified Metaprogramming – Frank Pfenning - 1989