Promonads and string diagrams for effectful categories
autor
Roman Garcia, Mario
vastutusandmed
Mario Román
allikas
arXiv.org
kirjastus/väljaandja
Cornell University
ajakirja aastakäik number kuu
arXiv:2205.07664
ilmumisaasta
2023
leheküljed
p. 344-361 : ill
seeria-sari
Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 380
konverentsi nimetus, aeg
Fifth International Conference on Applied Category Theory (ACT 2022), 18-22 July 2022
konverentsi toimumispaik
Glasgow, United Kingdom
leitav
https://doi.org/10.4204/EPTCS.380.20
märksõna
kategooriad (matemaatika)
monoidid
vormimärksõna
preprindid
ISSN
2075-2180
märkused
Bibliogr.: 43 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor