E-unification for second-order abstract syntax

DOI10.4230/LIPICS.FSCD.2023.10MaRDI QIDQ6622046zbMATH OpenFDO

Authors Nikolai Kudasov

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.10

zbMATH Keywords

E-unificationhigher-order unificationsecond-order abstract syntax

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Grammars and rewriting systems (68Q42)

Recommendations

• Higher order E-unification
• Modular higher-order E-unification
• scientific article; zbMATH DE number 1088023
• A combinatory logic approach to higher-order E-unification
• Higher order unification via explicit substitutions

This page was built for publication: E-unification for second-order abstract syntax

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6622046)