Nguyen, V.H. 2025. A Survey of Quantum Type Theory: From Linearity to Formal Verification. EAI Endorsed Transactions on Context-aware Systems and Applications. 10, (Jul. 2025). DOI:https://doi.org/10.4108/eetcasa.9669.