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
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
TTÜ department
language
us
keyword
dual of a functor
Sweedler dual of a monad
Chu spaces
Hasegawa's glueing
WOS
kvartiil
classifier
Reserch Group
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.