An Algebra of Reversible Quantum Computing
Yong Wang · arXiv (Cornell University) · 2015
We extend the algebra of reversible computation to support quantum computing. Since the algebra is based on true concurrency, it is reversible for quantum computing and it has a sound and complete theory.