TY - RPRT TI - How to Kill Epsilons with a Dagger -- A Coalgebraic Take on Systems with Algebraic Label Structure AU - Filippo Bonchi AU - Stefan Milius AU - Alexandra Silva AU - Fabio Zanasi PY - 2014 DO - 10.1016/j.tcs.2015.03.024 UR - https://arxiv.org/abs/1402.4062 ID - 1402.4062 ER -