On confluence for weakly normalizing systems

DOI10.1007/3-540-53904-2_98MaRDI QIDQ5055761zbMATH OpenOpenAlexFDO

Authors Pierre-Louis Curien, G. Ghelli

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/3-540-53904-2_98

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Diagram techniques for confluence
• Term Rewriting and Applications
• A direct proof of the confluence of combinatory strong reduction
• scientific article; zbMATH DE number 4090848
• Weak Convergence and Uniform Normalization in Infinitary Rewriting

Cites work

• A framework for defining logics
• Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
• Explicit substitutions
• scientific article; zbMATH DE number 4180771 (Why is no real title available?)
• scientific article; zbMATH DE number 4048997 (Why is no real title available?)
• scientific article; zbMATH DE number 3657156 (Why is no real title available?)
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 125886 (Why is no real title available?)
• scientific article; zbMATH DE number 4124996 (Why is no real title available?)
• The Church-Rosser theorem for the typed lambda-calculus with pairing pairing
• Unique normal forms for lambda calculus with surjective pairing

Cited in

(3)

• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• On the power of simple diagrams
• Collapsed tree rewriting: Completeness, confluence, and modularity

This page was built for publication: On confluence for weakly normalizing systems

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