@inproceedings{CTT100837272,
  author = {Shin-ya Katsumata and Tetsuya Sato},
  title = {Codensity liftings of monads},
  booktitle = {Leibniz International Proceedings in Informatics, LIPIcs},
  year = 2015,
}