Codensity Lifting of Monads and its Dual

Shin-ya Katsumata, Tetsuya Sato, Tarmo Uustalu. Codensity Lifting of Monads and its Dual. Logical Methods in Computer Science, 14(4), 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.