Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.

Kostia Chardonnet, Louis Lemonnier, Benot Valiron

Browse the full FSCD paper archive.