Ngoc Dan T, Thi Kim Phung N, Thi Hong Tu N, Van Han N. A Review of Quantum Lambda Calculi: Linearity, Semantics, and Programming Models. EAI Endorsed Trans Context Aware Syst App [Internet]. 2025 Jul. 17 [cited 2026 Mar. 8];10. Available from: https://publications.eai.eu/index.php/casa/article/view/9668