Measurements and confluence in quantum lambda calculi with explicit qubits

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella +1

This paper demonstrates how to add a measurement operator to quantum lambda-calculi. A proof of the consistency of the semantics is given through a proof of confluence presented in…