Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages

Vikraman Choudhury, Jacek Karwowski, Amr Sabry. Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages. Proceedings of the ACM on Programming Languages, 6(POPL):1-32, 2022. [doi]

Abstract

Abstract is missing.