Implementation of Higher-Order Unification Based on Calculus of Explicit Substitution.

Peter Borovansk

Browse the full SOFSEM paper archive.