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. https://doi.org/10.4108/eetcasa.9669