Article,

Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.

, , and .
J. Appl. Log., 6 (1): 72-108 (2008)

Meta data

Tags

    Users

    Comments and Reviews