rewriting

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages

The Pi family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic data types. In this paper, we give a denotational semantics for this language, using weak …