TY  - RPRT
TI  - Coalgebraic Infinite Traces and Kleisli Simulations
AU  - Natsuki Urabe
AU  - Ichiro Hasuo
PY  - 2018
DO  - 10.23638/lmcs-14(3:15)2018
UR  - https://arxiv.org/abs/1505.06819
ID  - 1505.06819
ER  -