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

Active Bibliography

215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
17 Decidable higher-order unification problems – Christian Prehofer - 1994
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
18 Higher Order Logic – Daniel Leivant - 1994
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
32 Implementing the Meta-Theory of Deductive Systems – Frank Pfenning, Ekkehard Rohwedder - 1992
1 Representing Unification in a Logical Framework – Lincoln Wallen, Fachgebiet Intellektik, Fachbereich Informatik, Jason Brown, Jason Brown - 1996
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
2 Observations About Using Logic as a Specification Language – Dale Miller - 1995
3 Unification in a λ-Calculus with Intersection Types – Michael Kohlhase, Frank Pfenning
11 Foundational Aspects of Syntax – Dale Miller, Catuscia Palamidessi - 1999
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
20 Encoding Dependent Types in an Intuitionistic Logic – Amy Felty - 1991
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994