Implementation of Higher-Order Unification Based on Calculus of Explicit Substitutions (1995)

by P Borovansk´y
Venue:of Lecture Notes in Computer Science