An abstract formulation for rewrite systems

DOI10.1007/BFB0018358MaRDI QIDQ5096266zbMATH OpenFDO

Authors John Power

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0018358

Mathematics Subject Classification ID

2-categories, bicategories, double categories (18N10) Grammars and rewriting systems (68Q42)

Recommendations

• An algebraic structure for derivations in rewriting systems
• Abstract abstract reduction
• Categorical rewriting of term-like structures
• Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
• Structures for abstract rewriting

Cites work

• A 2-categorical pasting theorem
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Introduction to bicategories
• Limits indexed by category-valued 2-functors

Cited in

(19)

• Rewrite systems on a lattice of types
• n-level rewriting systems
• An algebraic structure for derivations in rewriting systems
• Conditional rewriting logic as a unified model of concurrency
• Rewriting modulo isotopies in pivotal linear (2,2)-categories
• Relative full completeness for bicategorical Cartesian closed structure
• Abstract strategies and coherence
• Antimirov and Mosses’s Rewrite System Revisited
• Computing with rewrite systems
• scientific article; zbMATH DE number 3983448 (Why is no real title available?)
• scientific article; zbMATH DE number 1254101 (Why is no real title available?)
• Categorical rewriting of term-like structures
• Relating two categorical models of term rewriting
• CPO models for infinite term rewriting
• Context rewriting
• Conditional rewriting logic: Deduction, models and concurrency
• Protocol choice and iteration for the free cornering
• Categorification, term rewriting and the Knuth-Bendix procedure
• Rewriting techniques for relative coherence

This page was built for publication: An abstract formulation for rewrite systems

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