Unification via Explicit Substitutions: The Case of Higher-Order Patterns (1998)

by Gilles Dowek , Therese Hardin , Claude Kirchner , Frank Pfenning
Venue:PROCEEDINGS OF JICSLP'96
Citations:51 - 13 self

Active Bibliography

203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
27 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
53 Efficient Representation and Validation of Proofs – George C. Necula, Peter Lee - 1998
44 Efficient Representation and Validation of Logical Proofs – George C. Necula, Peter Lee - 1997
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
4 Absolute Explicit Unification – Nikolaj Bjørner, César Muñoz - 2000
5 Practical higher-order pattern unification with on-the-fly raising – Gopalan Nadathur, Natalie Linnell - 2005
Des Preuves Incompl`etes Aux – Termes Incomplets, Inria Rocquencourt, Le Chesnay Cedex
1 Proof Representation in Type Theory: State of the Art – Esar Mu, Inria Rocquencourt - 1996
5 Proof Representation in Type Theory: State of the Art – César A. Muñoz - 1996
29 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
20 Higher-order narrowing – Christian Prehofer - 1994
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
5 Higher-Order Equational Unification via Explicit Substitutions – Claude Kirchner, Christophe Ringeissen - 1996
22 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
17 Algorithms for Equality and Unification in the Presence of Notational Definitions – Frank Pfenning, Carsten Schürmann - 1998
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
78 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000