Reversible Effects as Inverse Arrows

Chris Heunen, Robin Kaarsgaard, Martti Karvonen. Reversible Effects as Inverse Arrows. Electronic Notes in Theoretical Computer Science, 341:179-199, 2018. [doi]

@article{HeunenKK18,
  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://doi.org/10.1016/j.entcs.2018.11.009},
  researchr = {https://researchr.org/publication/HeunenKK18},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {341},
  pages = {179-199},
}