Codensity lifting of monads and its dual
autor
Katsumata, Shin-ya
Sato, Tetsuya
Uustalu, Tarmo
vastutusandmed
Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu
allikas
Logical methods in computer science
kirjastus/väljaandja
Logical Methods in Computer Science
ajakirja aastakäik number kuu
vol. 14, 4
ilmumisaasta
2018
leheküljed
p. 1-31
leitav
https://doi.org/10.23638/LMCS-14(4:6)2018
märksõna
monaadid
algebra
arvutiteadus
võtmesõna
monad
comonad
lifting
fibration
Giry monad
ISSN
1860-5974
märkused
Bibliogr. p. 29-31
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/19700175752
https://www.scopus.com/record/display.uri?eid=2-s2.0-85060190543&origin=inward&txGid=1fcc624b45f06172a481c80ebb9737d6
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LOG%20METH%20COMPUT%20SCI&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000452745300024
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium