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]

Possibly Related Publications

The following publications are possibly variants of this publication: