Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables

UNIF 2022 — 36th International Workshop on Unification, Haifa, Israel · August 5, 2022

Recovers higher-order unification as an instance of E-unification, using second-order equations and parametrised metavariables. Precursor to the full FSCD 2023 paper.

Download PDF

Kudasov, N. (2022). "Higher-Order Unification from E-Unification with Second-Order Equations and Parametrised Metavariables." EasyChair Preprint no. 8680.