Preprint
Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages
Abstract
The $\mathit{\Pi}$ family of reversible programming languages for boolean
circuits is presented as a syntax of combinators witnessing type isomorphisms
Authors
Choudhury V; Karwowski J; Sabry A
Publication date
October 11, 2021
DOI
10.48550/arxiv.2110.05404
Preprint server
arXiv