Interaction laws of monads and comonads
autor
Katsumata, Shin-ya
Rivas, Exequiel
Uustalu, Tarmo
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
2020
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
leitav
https://doi.org/10.1145/3373718.3394808
märksõna
funktorid
monaadid
Scopus
https://www.scopus.com/sourceid/11600154611
https://www.scopus.com/record/display.uri?eid=2-s2.0-85085952830&origin=inward&txGid=f00bae0d51eabbd9b2e8867922f2cfed
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000665014900047
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Computer networks and communications
Arvutiteadus. Arvutivõrgud ja side
Computer science. Computer vision and pattern recognition
Arvutiteadus. Arvutinägemine ja mustrituvastus
Computer science. Human-computer interaction
Arvutiteadus. Inimese ja arvuti interaktsioon
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
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
märkused
Bibliogr.: 42 ref
Special Issue: Power System Dynamics and Renewable Energy Integration
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
us
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium