Nguyen, Van Han. 2025. “A Survey of Quantum Type Theory: From Linearity to Formal Verification”. EAI Endorsed Transactions on Context-Aware Systems and Applications 10 (July). https://doi.org/10.4108/eetcasa.9669.