prindi

Promonads and string diagrams for effectful categories

autor
Roman Garcia, Mario
vastutusandmed
Mario Román
allikas
Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2023
leheküljed
p. 344−361
seeria-sari
Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 380
konverentsi nimetus, aeg
Fifth International Conference on Applied Category Theory, 18-22 July 2022
konverentsi toimumispaik
Glasgow, Scotland
leitav
https://doi.org/10.4204/EPTCS.380.20
https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf
märksõna
kategooriad (matemaatika)
monoidid
Scopus
Conference proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Arvutiteadus
kategooria (alam)
Arvutiteadus. Tarkvara
ISSN
2075-2180
märkused
Bibliogr.: 43 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Roman Garcia, M. Promonads and string diagrams for effectful categories // Proceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 2022. : Open Publishing Association, 2023. p. 344−361. (Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 380). https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf