Ngoc Dan, Tran, Nguyen Thi Kim Phung, Nguyen Thi Hong Tu, and Nguyen Van Han. “A Review of Quantum Lambda Calculi: Linearity, Semantics, and Programming Models”. EAI Endorsed Transactions on Context-aware Systems and Applications 10 (July 17, 2025). Accessed March 8, 2026. https://publications.eai.eu/index.php/casa/article/view/9668.