Shin-ya Katsumata,
Tetsuya Sato.
Preorders on monads and coalgebraic simulations,
International Conference on Foundations of Software Science and Computational Structures (FoSSaCS 2013),
Lecture notes in computer science, LNCS,
Springer-Verlag Berlin Heidelberg,
Volume 7794,
pp. 145-160,
Mar. 2013.
公式リンク