TY  - RPRT
TI  - A Quantum-Control Lambda-Calculus with Multiple Measurement Bases
AU  - Alejandro Díaz-Caro
AU  - Nicolas A. Monzon
PY  - 2025
DO  - 10.1007/978-981-95-3585-9_8
UR  - https://arxiv.org/abs/2506.16244
ID  - 2506.16244
ER  -