DMCA

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:104 - 11 self