Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
One rig to control them all
Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
Controlled commands -- computations whose execution depends on a separate input -- play a central role in reversible Boolean circuits and quantum circuits. However, existing formal…
cs.LO2024
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…