Codensity lifting of monads and its dual
autor
vastutusandmed
Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 14, 4
ilmumisaasta
leheküljed
p. 1-31
märksõna
võtmesõna
monad
comonad
lifting
fibration
Giry monad
ISSN
1860-5974
märkused
Bibliogr. p. 29-31
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
kategooria (üld)
kategooria (alam)
kvartiil
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Katsumata, S., Sato, T., Uustalu, T. Codensity lifting of monads and its dual // Logical methods in computer science (2018) vol. 14, 4, p. 1-31.