Nguyen, V. H. A Survey of Quantum Type Theory: From Linearity to Formal Verification. EAI Endorsed Trans Context Aware Syst App 2025, 10. https://doi.org/10.4108/eetcasa.9669.