TY  - RPRT
TI  - Reversible effects as inverse arrows
AU  - Chris Heunen
AU  - Robin Kaarsgaard
AU  - Martti Karvonen
PY  - 2018
DO  - 10.1016/j.entcs.2018.11.009
UR  - https://arxiv.org/abs/1805.08605
ID  - 1805.08605
ER  -