@misc{indiciae8f7965349bbe,
  title = {Reversible effects as inverse arrows},
  author = {Chris Heunen and Robin Kaarsgaard and Martti Karvonen},
  year = {2018},
  doi = {10.1016/j.entcs.2018.11.009},
  url = {https://arxiv.org/abs/1805.08605},
  note = {Source identifier: 1805.08605}
}