Nguyen VH. A Survey of Quantum Type Theory: From Linearity to Formal Verification. EAI Endorsed Trans Context Aware Syst App [Internet]. 2025 Jul. 16 [cited 2026 Mar. 8];10. Available from: https://publications.eai.eu/index.php/casa/article/view/9669