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