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