Shin-ya Katsumata,
Tetsuya Sato.
Codensity liftings of monads,
6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015),
Leibniz International Proceedings in Informatics, LIPIcs,
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik,
Volume 35,
pp. 156-170,
Oct. 2015.
公式リンク