Compositional Reversible Computation

Jacques Carette, Chris Heunen, Robin Kaarsgaard +1

Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reve…