Tape diagrams for monoidal monads
autor
Bonchi, Filippo
Cioffo, Cipriano Junior
Di Giorgio, Alessandro
Di Lavore, Elena
vastutusandmed
Filippo Bonchi, Cipriano Junior Cioffo, Alessandro Di Giorgio, Elena Di Lavore
allikas
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18, Strathclyde, UK
ilmumiskoht
Wadem
kirjastus/väljaandja
Schloss Dagstuhl
ilmumisaasta
2025
leheküljed
24 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 342
konverentsi nimetus, aeg
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, June 16-18
konverentsi toimumispaik
Strathclyde, UK
leitav
https://doi.org/10.4230/LIPIcs.CALCO.2025.11
märksõna
seadmed
stringiteooria
kategooriad (matemaatika)
monaadid
tõenäosusteooria
diagrammid
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/pages/publications/105012238573?origin=resultslist
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001585185500011
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
rig categories
string diagrams
monads
probabilistic control
ISSN
1868-8969
ISBN
978-3-95977-383-6
märkused
Bibliogr.: 59 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
Department of Software Science
tarkvarateaduse instituut
keel
English
inglise