Nguyen, Van Han. “A Survey of Quantum Type Theory: From Linearity to Formal Verification”. EAI Endorsed Transactions on Context-aware Systems and Applications 10 (July 16, 2025). Accessed January 8, 2026. https://publications.eai.eu/index.php/casa/article/view/9669.