TY  - RPRT
TI  - Reversible monadic computing
AU  - Chris Heunen
AU  - Martti Karvonen
PY  - 2015
DO  - 10.1016/j.entcs.2015.12.014
UR  - https://arxiv.org/abs/1505.04330
ID  - 1505.04330
ER  -