prindi

Sweedler theory of monads

autor
McDermott, Dylan
Rivas, Exequiel
Uustalu, Tarmo
vastutusandmed
McDermott, Dylan, Rivas, Exequiel, Uustalu, Tarmo
allikas
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
Springer
ilmumisaasta
2022
leheküljed
p. 428-448
seeria-sari
Lecture notes in computer science ; 13242
konverentsi nimetus, aeg
25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, 4-6 Aprill, 2022
konverentsi toimumispaik
Munich, Germany
leitav
https://doi.org/10.1007/978-3-030-99253-8_22
märksõna
algebra
monaadid
matemaatilised mudelid
interaktsioonid
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Arvutiteadus
Matemaatika
kategooria (alam)
Arvutiteadus. Üldine arvutiteadus
Matemaatika. Teoreetiline arvutiteadus
võtmesõna
(co)algebras
(co)monads
duoidal categories
interaction laws
runners
Sweedler operations
ISSN
0302-9743
ISBN
978-303099252-1
märkused
Bibliogr.: 34 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium
McDermott, D., Rivas, E., Uustalu, T. Sweedler theory of monads // Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings. Cham : Springer, 2022. p. 428-448. (Lecture notes in computer science ; 13242). https://doi.org/10.1007/978-3-030-99253-8_22