Generalising Huet-style Projections in E-unification for Second-Order Abstract Syntax

UNIF 2023 — 37th International Workshop on Unification, Rome, Italy · July 4, 2023

Extends Huet-style projection rules to second-order abstract syntax in the E-unification setting, generalising the classical higher-order projection step.

HAL record

Download PDF

Kudasov, N. (2023). "Generalising Huet-style Projections in E-unification for Second-Order Abstract Syntax." UNIF 2023 — Informal Proceedings of the 37th International Workshop on Unification, Rome, Italy.