Compositional term rewriting: An algebraic proof of Toyama's theorem
From MaRDI portal
Publication:5055865
DOI10.1007/3-540-61464-8_58zbMath1503.68133OpenAlexW1577802939MaRDI QIDQ5055865
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
Grammars and rewriting systems (68Q42) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Compositional term rewriting: An algebraic proof of Toyama's theorem ⋮ Modularity in term rewriting revisited ⋮ Modularity of Confluence ⋮ Algebras, Coalgebras, Monads and Comonads
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Specifications in an arbitrary institution
- Modularity of confluence: A simplified proof
- Formal category theory: Adjointness for 2-categories
- Institutions: abstract model theory for specification and programming
- Compositional term rewriting: An algebraic proof of Toyama's theorem
- On the Church-Rosser property for the direct sum of term rewriting systems
This page was built for publication: Compositional term rewriting: An algebraic proof of Toyama's theorem