Interaction laws of monads and comonads
author
Katsumata, Shin-ya
Rivas, Exequiel
Uustalu, Tarmo
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
2020
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
url
https://doi.org/10.1145/3373718.3394808
subject term
funktorid
monaadid
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Computer networks and communications
en
Arvutiteadus. Arvutivõrgud ja side
et
Computer science. Computer vision and pattern recognition
en
Arvutiteadus. Arvutinägemine ja mustrituvastus
et
Computer science. Human-computer interaction
en
Arvutiteadus. Inimese ja arvuti interaktsioon
et
Computer science. Software
en
Arvutiteadus. Tarkvara
et
keyword
effectful computation
monads
comonads
interaction laws
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
3.1
TTÜ department
tarkvarateaduse instituut
language
us
Uurimisrühm
High-assurance software laboratory