Higher-Order Unification via Combinators

Daniel J. Dougherty. Higher-Order Unification via Combinators. Theoretical Computer Science, 114(2):273-298, 1993.

Abstract

Abstract is missing.