y, Implementation of higher-order unification based on calculus of explicit substitutions (1995)

by P Borovansk'
Venue:in Proceedings of the SOFSEM'95: Theory and Practice of Informatics