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