Interaction laws of monads and comonads
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
ISBN
978-1-4503-7104-9
märkused
Bibliogr.: 42 ref
Special Issue: Power System Dynamics and Renewable Energy Integration
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
us
võtmesõna
dual of a functor
Sweedler dual of a monad
Chu spaces
Hasegawa's glueing
WOS
kvartiil
klassifikaator
Uurimisrühm
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.