"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",2015,Oct.