NGUYEN, Van Han. A Survey of Quantum Type Theory: From Linearity to Formal Verification. EAI Endorsed Transactions on Context-aware Systems and Applications, [S. l.], v. 10, 2025. DOI: 10.4108/eetcasa.9669. Disponível em: https://publications.eai.eu/index.php/casa/article/view/9669. Acesso em: 8 mar. 2026.