Preorders on Monads and Coalgebraic Simulations.

Shin-ya Katsumata, Tetsuya Sato

Browse the full FOSSACS paper archive.