Higher-order Unification via Explicit Substitutions (Extended Abstract) (1995)
by
Gilles Dowek
,
Thérèse Hardin
,
Claude Kirchner
| Venue: | Proceedings of LICS'95 |
| Citations: | 95 - 11 self |
Document Versions
| Higher-order Unification via Explicit Substitutions (Extended Abstract) –Gilles Dowek, Thérèse Hardin, Claude Kirchner — 1995 — Proceedings of LICS'95 |
