Delaying unification algorithms for lambda calculi

DOI10.1016/0304-3975(88)90135-1zbMath0647.68092OpenAlexW2088369130MaRDI QIDQ1104776

John Staples

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90135-1

zbMATH Keywords

unificationrewriting systemslambda calculus

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Combinatory logic and lambda calculus (03B40)

Cites Work

• Structure sharing for quantified terms: Fundamentals
• Graph reduction. Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986
• A unification algorithm for typed \(\overline\lambda\)-calculus
• Efficient unification of quantified terms

This page was built for publication: Delaying unification algorithms for lambda calculi