The ℵ-Calculus - A Declarative Model of Reversible Programming.

Hannah Earley

Browse the full RC paper archive.