Relative normalization in Deterministic Residual Structures

DOI10.1007/3-540-61064-2_37OpenAlexW1565594167MaRDI QIDQ5878909

John Glauert, Zurab Khasidashvili

Publication date: 23 February 2023

Published in: Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items

The geometry of orthogonal reduction spaces, Descendants and origins in term rewriting., Relating conflict-free stable transition and event models via redex families

Cites Work

• The lambda calculus. Its syntax and semantics. Rev. ed.
• Needed reduction and spine strategies for the lambda calculus
• Concurrent transition systems
• Sequential evaluation strategies for parallel-or and related reduction systems
• Optimal normalization in orthogonal term rewriting systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item