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]

Bibliographies