Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage. Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. Electronic Notes in Theoretical Computer Science, 270(1):59-74, 2011. [doi]

Abstract

Abstract is missing.