A Quantum-Control Lambda-Calculus with Multiple Measurement Bases.

Alejandro Daz-Caro, Nicolas A. Monzon

Browse the full APLAS paper archive.