Measurements and confluence in quantum lambda calculi with explicit qubits

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 app...

Full description

Bibliographic Details
Published in:Electronic Notes in Theoretical Computer Science
Main Authors: Díaz-Caro, Alejandro, Arrighi, Pablo, Gadella, Manuel, Grattage, Jonathan
Format: Text
Language:unknown
Published: 2008
Subjects:
Quantum Physics
Lambda
Iceland
Online Access:http://arxiv.org/abs/0806.2447
https://doi.org/10.1016/j.entcs.2011.01.006
Description
Summary: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. Comment: 15 pages. Minor changes: final proceedings version. To appear ENTCS: Proceedings of QPL V - DCV IV, Reykjavik, Iceland, 2008

Similar Items