A diagrammatic algebra for program logicsBonchi, Filippo; Di Giorgio, Alessandro; Di Lavore, ElenaFoundations of Software Science and Computation Structures : 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, Ontario, Canada, May 3–8, 2025, Proceedings2025 / p. 308-330 https://doi.org/10.1007/978-3-031-90897-2_15 Conference proceedings at Scopus Article at Scopus

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

Tape Diagrams for Monoidal MonadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) : CALCO 2025, June 16–18, 2025, University of Strathclyde, UK2025 / art. 11, p. 11:1–11:24 https://doi.org/10.4230/LIPIcs.CALCO.2025.11

Tape diagrams for monoidal monadsBonchi, Filippo; Cioffo, Cipriano Junior; Di Giorgio, Alessandro; Di Lavore, Elena11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, Strathclyde, UK2025 / 24 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2025.11 Conference proceedings at Scopus Article at Scopus Article at WOS