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

DOI10.1007/3-540-60609-2_18zbMATH Open1542.68079MaRDI QIDQ6573929FDOQ6573929

Authors: Peter Borovanský 

Publication date: 17 July 2024

Recommendations

• Higher order unification via explicit substitutions
• scientific article; zbMATH DE number 1088023
• Higher-order unification: a structural relation between Huet's method and the one based on explicit substitutions
• Unification via the \(\lambda s_e\)-style of explicit substitutions
• Higher-order substitutions

Mathematics Subject Classification ID

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

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)