×

Found 7 Documents (Results 1–7)

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).
PDFBibTeX XMLCite
Full Text: arXiv Link

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
Full Text: arXiv Link

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

all top 3

Software