Higher-order Unification via Explicit Substitutions (Extended Abstract) (1995)

Cached

Download Links

by Gilles Dowek , Thérèse Hardin , Claude Kirchner
Venue:Proceedings of LICS'95
Citations:103 - 13 self

Document Versions

Higher-order Unification via Explicit Substitutions (Extended Abstract) –Gilles Dowek, Thérèse Hardin, Claude Kirchner — 1995 — Proceedings of LICS'95