×

Found 56 Documents (Results 1–56)

Promonads and string diagrams for effectful categories. (English) Zbl 07813638

Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 344-361 (2023).
MSC:  68-XX
PDFBibTeX XMLCite
Full Text: DOI arXiv

A formal logic for formal category theory. (English) Zbl 07770334

Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 113-134 (2023).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Template games, simple games, and day convolution. (English) Zbl 1528.91022

Geuvers, Herman (ed.), 4th international conference on formal structures for computation and deduction, FSCD 2019, Dortmund, Germany, June 24–30, 2019. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 131, Article 16, 19 p. (2019).
MSC:  91A44 18N10 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field