Free Quantum Computing
Este artículo presenta una axiomatización discreta y un modelo libre de la computación cuántica basado en la computación clásica reversible, que aísla la ventaja cuántica en la capacidad de calcular raíces cuadradas y permite la optimización combinatoria y la verificación automática mediante un lenguaje de programación universal.