Algorithmically Expressive, Always-Terminating Model for Reversible Computation.

Matteo Palazzo, Luca Roversi

Browse the full RC paper archive.