Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.

Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken

Browse the full RC paper archive.