Confluence and superdevelopments

DOI10.1007/978-3-662-21551-7_14zbMath1503.68165OpenAlexW2105757380MaRDI QIDQ5055793

Femke van Raamsdonk

Publication date: 9 December 2022

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-21551-7_14

Mathematics Subject Classification ID

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

Related Items

Higher-order rewrite systems and their confluence, Developing developments, Development closed critical pairs, Descendants and origins in term rewriting., Combinatory reduction systems: Introduction and survey

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Computing in systems described by equations
• The Equivalence of Complete Reductions
• Tree-Manipulating Systems and Church-Rosser Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item