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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85128459922&origin=inward&txGid=5beddb3e65b3a51cebb1964c6a06534c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000782446800022
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
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