Sweedler theory of monads

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
ilmumisaasta
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
kvartiil
Q3
kategooria (üld)
võtmesõna
(co)algebras
(co)monads
duoidal categories
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
keel
inglise
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