Implementation of higher-order unification based on calculus of explicit substitution

DOI10.1007/3-540-60609-2_18MaRDI QIDQ6573929zbMATH OpenFDO

Authors Peter Borovanský

Publication date 17 July 2024

Full work available at URL https://doi.org/10.1007/3-540-60609-2_18

Mathematics Subject Classification ID

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

Recommendations

• Higher order unification via explicit substitutions
• Higher-order equational unification via explicit substitutions
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions
• Unification via the s_e-style of explicit substitutions
• Higher-order substitutions

This page was built for publication: Implementation of higher-order unification based on calculus of explicit substitution

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