Integrating Across Application, Model, Algorithm, Compilation, and Error Correction Chasms With Quantum Type Theory
arXiv:2305.00144
Abstract
We briefly discuss the current state, and future computational implications, of quantum type theory.
2 pages