Skip to Main content Skip to Navigation
Conference papers

Measurements and confluence in quantum lambda calculi with explicit qubits

Abstract : 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 a sufficiently general way to allow this technique to be used for other languages. The method described here may be applied to probabilistic rewrite systems in general, and to add measurement to more complex languages such as QML or Lineal, which is the subject of further research.
Complete list of metadata

https://hal.inria.fr/hal-00924875
Contributor : Alejandro Díaz-Caro Connect in order to contact the contributor
Submitted on : Tuesday, January 7, 2014 - 11:36:50 AM
Last modification on : Sunday, June 26, 2022 - 9:34:23 AM

Links full text

Identifiers

Collections

Citation

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage. Measurements and confluence in quantum lambda calculi with explicit qubits. QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. pp.59-74, ⟨10.1016/j.entcs.2011.01.006⟩. ⟨hal-00924875⟩

Share

Metrics

Record views

60