TY  - RPRT
TI  - Coalgebraic Weak Bisimulation from Recursive Equations over Monads
AU  - Sergey Goncharov
AU  - Dirk Pattinson
PY  - 2014
UR  - https://arxiv.org/abs/1404.1215
ID  - 1404.1215
ER  -