Coalgebraic Infinite Traces and Kleisli Simulations.

Natsuki Urabe, Ichiro Hasuo

Browse the full CALCO paper archive.