Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobociński, Paweł; Zanasi, Fabio String diagram rewrite theory. III: Confluence with and without Frobenius. (English) Zbl 1506.68043 Math. Struct. Comput. Sci. 32, No. 7, 829-869 (2022). MSC: 68Q42 18M05 18M30 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Math. Struct. Comput. Sci. 32, No. 7, 829--869 (2022; Zbl 1506.68043) Full Text: DOI arXiv
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio String diagram rewrite theory. II: Rewriting with symmetric monoidal structure. (English) Zbl 1506.68042 Math. Struct. Comput. Sci. 32, No. 4, 511-541 (2022). MSC: 68Q42 18M05 18M30 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Math. Struct. Comput. Sci. 32, No. 4, 511--541 (2022; Zbl 1506.68042) Full Text: DOI arXiv
de Felice, Giovanni; Toumi, Alexis; Coecke, Bob DisCoPy: monoidal categories in Python. (English) Zbl 1477.18002 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 183-197 (2021). Reviewer: Antonin Delpeuch (Oxford) MSC: 18-04 18M05 18M30 68T50 81P68 PDFBibTeX XMLCite \textit{G. de Felice} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 183--197 (2021; Zbl 1477.18002) Full Text: arXiv Link
Patterson, Evan; Spivak, David I.; Vagner, Dmitry Wiring diagrams as normal forms for computing in symmetric monoidal categories. (English) Zbl 1477.18003 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 49-64 (2021). MSC: 18-04 18M05 PDFBibTeX XMLCite \textit{E. Patterson} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 49--64 (2021; Zbl 1477.18003) Full Text: arXiv Link
Sobociński, Paweł; Wilson, Paul W.; Zanasi, Fabio Cartographer: a tool for string diagrammatic reasoning (tool paper). (English) Zbl 07649903 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 20, 7 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Sobociński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 20, 7 p. (2019; Zbl 07649903) Full Text: DOI
Bonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel; Zanasi, Fabio Rewriting with Frobenius. (English) Zbl 1497.68238 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 165-174 (2018). MSC: 68Q42 18M30 PDFBibTeX XMLCite \textit{F. Bonchi} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 165--174 (2018; Zbl 1497.68238) Full Text: DOI
Coecke, Bob; Spekkens, Robert W. Picturing classical and quantum Bayesian inference. (English) Zbl 1275.60006 Synthese 186, No. 3, 651-696 (2012). MSC: 60A05 18D10 60C99 62F15 81P05 PDFBibTeX XMLCite \textit{B. Coecke} and \textit{R. W. Spekkens}, Synthese 186, No. 3, 651--696 (2012; Zbl 1275.60006) Full Text: DOI arXiv