full record print

Codensity lifting of monads and its dual

author
statement of authorship
Shin-ya Katsumata, Tetsuya Sato and Tarmo Uustalu
source
publisher
journal volume number month
vol. 14, 4
year of publication
pages
p. 1-31
url
ISSN
1860-5974
notes
Bibliogr. p. 29-31
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
monad
comonad
lifting
fibration
Giry monad
Reserch Group
High-assurance software laboratory
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. https://doi.org/10.23638/LMCS-14(4:6)2018