Compositional term rewriting: An algebraic proof of Toyama's theorem

DOI10.1007/3-540-61464-8_58MaRDI QIDQ5055865zbMATH OpenOpenAlexFDO

Authors Christoph Lüth

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-61464-8_58

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1086712
• Confluence of curried term-rewriting systems
• Modular properties of composable term rewriting systems
• Layer systems for confluence -- formalized
• scientific article; zbMATH DE number 1456966

Cites work

• Compositional term rewriting: An algebraic proof of Toyama's theorem
• Formal category theory: Adjointness for 2-categories
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1456966 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Modularity of confluence: A simplified proof
• On the Church-Rosser property for the direct sum of term rewriting systems
• Specifications in an arbitrary institution

Cited in

(9)

• The Andrews-Curtis conjecture, term rewriting and first-order proofs
• Modularity in term rewriting revisited
• Composing proof terms
• Modularity of Confluence
• scientific article; zbMATH DE number 1086712 (Why is no real title available?)
• scientific article; zbMATH DE number 2111734 (Why is no real title available?)
• Algebras, coalgebras, monads and comonads
• Algebraic semantics and complexity of term rewriting systems
• Compositional term rewriting: An algebraic proof of Toyama's theorem

This page was built for publication: Compositional term rewriting: An algebraic proof of Toyama's theorem

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