The $\aleph$-Calculus: A declarative model of reversible programming

Hannah Earley

A novel model of reversible computing, the $\aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previou…