TY  - RPRT
TI  - Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
AU  - Vikraman Choudhury
AU  - Jacek Karwowski
AU  - Amr Sabry
PY  - 2021
DO  - 10.1145/3498667
UR  - https://arxiv.org/abs/2110.05404
ID  - 2110.05404
ER  -