Interaction laws of monads and comonads
statement of authorship
Shin-ya Katsumata, Exequiel Rivas, Tarmo Uustalu
source
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020) : July 8-11, 2020 Saarbrücken, Germany
location of publication
New York
year of publication
pages
p. 604-618
conference name, date
35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), July 8-11, 2020
conference location
Saarbrücken, Germany
WOS
kvartiil
category (general)
category (sub)
keyword
effectful computation
dual of a functor
Sweedler dual of a monad
Chu spaces
Hasegawa's glueing
ISBN
978-1-4503-7104-9
notes
Bibliogr.: 42 ref
Special Issue: Power System Dynamics and Renewable Energy Integration
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
us
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. https://doi.org/10.1145/3373718.3394808