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
märksõna
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
Open Access
Open Access (roheline)
TTÜ struktuuriüksus
keel
us
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.