Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

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

Type-theoretic constructions of the final coalgebra of the finite powerset functorVeltri, Niccolo41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 22:1-22:18 https://doi.org/10.4230/LIPIcs.FSCD.2021.22 Conference Proceedings at Scopus Article at Scopus