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:58 - 15 self

Active Bibliography

Abstract – Claude Kirchner, Loria Inria, Zhebin Qian, Loria Uhp, Preet Kamal Singh, Loria Iit-delhi, Jürgen Stuber, Loria Inria - 2002
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
34 A Linear Spine Calculus – Iliano Cervesato, Frank Pfenning - 2003
490 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
66 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