TY  - RPRT
TI  - Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power
AU  - Ugo Dal Lago
AU  - Andrea Masini
AU  - Margherita Zorzi
PY  - 2007
UR  - https://arxiv.org/abs/cs/0703152
ID  - cs/0703152
ER  -