Return to Article Details A Review of Quantum Lambda Calculi: Linearity, Semantics, and Programming Models Download Download PDF