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:56 - 14 self

Document Versions

Unification via Explicit Substitutions: The Case of Higher-Order Patterns –Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning — 1998 — PROCEEDINGS OF JICSLP'96
Unification via Explicit Substitutions: The Case of Higher-Order Patterns –Gilles Dowek, Therese Hardin, Le Chesnay Cedex, Place Jussieu, Claude Kirchner, Frank Pfenning — 1996 — Proceedings of the Joint International Conference and Symposium on Logic Programming
Unification via Explicit Substitutions: The Case of Higher-Order Patterns –Gilles Dowek, Therese Hardin, Claude Kirchner, Frank Pfenning — 1996 — PROCEEDINGS OF LICS'95