On term rewriting and introducing the notion of S-monoidal categories (later called gs-monoidal categories) for this purpose:
Fabio Gadducci, On the algebraic approach to concurrent term rewriting, PhD thesis (1996) [pdf, pdf]
Andrea Corradini, Fabio Gadducci, An algebraic presentation of term graphs, via gs-monoidal categories, Applied Categorical Structures 7 (1999) 299-331 [doi:10.1023/A:1008647417502]
Last revised on December 20, 2023 at 11:49:48. See the history of this page for a list of all contributions to it.