Interaction laws of monads and comonads
pealdis
Katsumata, S., Rivas, E., Uustalu, T.
vastutusandmed
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
allikas
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
ilmumiskoht
New York
ilmumisaasta
leheküljed
p. 604-618
konverentsi nimetus, aeg
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), July 8-11, 2020
konverentsi toimumispaik
Saarbrücken, Germany
WOS
kvartiil
kategooria (üld)
kategooria (alam)
võtmesõna
effectful computation
dual of a functor
Sweedler dual of a monad
Chu spaces
Hasegawa's glueing
ISBN
978-1-4503-7104-9
märkused
Bibliogr.: 42 ref
Special Issue: Power System Dynamics and Renewable Energy Integration
leidumus
Võrguteavik
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
TTÜ struktuurikood
it
keel
us
aruandeväli
aasta2020i
toim. märkused
Ji 050321
Uurimisrühma
Katsumata, S., Rivas, E., Uustalu, T. Interaction laws of monads and comonads // Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany. New York, 2020. p. 604-618.