Abstract strategies and coherence

DOI10.1007/978-3-030-88701-8_7MaRDI QIDQ2695348zbMATH OpenOpenAlexFDO

Authors Cameron Calk, Philippe Malbos, Éric Goubault

Publication date 30 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-88701-8_7

zbMATH Keywords

coherenceformalisationKleene algebrashigher-dimensional rewritingnormalisation strategies

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Algebraic coherent confluence and higher globular Kleene algebras
• Abstract abstract reduction
• scientific article; zbMATH DE number 6792365
• An abstract formulation for rewrite systems
• On abstract normalisation beyond neededness

Cites work

• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 1953901 (Why is no real title available?)
• scientific article; zbMATH DE number 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 2163052 (Why is no real title available?)
• scientific article; zbMATH DE number 3385867 (Why is no real title available?)
• A finiteness condition for rewriting systems
• Boolean Algebras with Operators. Part I
• Coherence in monoidal track categories
• Coherent presentations of Artin monoids
• Concurrent Kleene algebra and its foundations
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Higher-dimensional categories with finite derivation type
• Higher-dimensional normalisation strategies for acyclicity
• Higher-dimensional word problems with applications to equational logic
• Internal axioms for domain semirings
• Knuth's coherent presentations of plactic monoids of type A
• Limits indexed by category-valued 2-functors
• Modal Kleene algebra applied to program correctness
• Notes on equational theories of relations
• Polygraphs of finite derivation type
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Verifying hybrid systems with modal Kleene algebra

Cited in

(6)

• A rewriting coherence theorem with applications in homotopy type theory
• PADUA Protocol: Strategies and Tactics
• Strategic Vagueness, and Appropriate Contexts
• Algebraic coherent confluence and higher globular Kleene algebras
• scientific article; zbMATH DE number 7204333 (Why is no real title available?)
• Higher-dimensional normalisation strategies for acyclicity

This page was built for publication: Abstract strategies and coherence

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