A Quantum-Control Lambda-Calculus with Multiple Measurement Bases. - Alejandro Díaz-Caro; Nicolas A. Monzon (CoRR, 2025)