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