Measurements and confluence in quantum lambda calculi with explicit qubits

Details Measurements and confluence in quantum lambda calculi with explicit qubits Measurements and confluence in quantum lambda calculi with explicit qubits

2008-06-15

arxiv.org/abs/0806.2447v3

Electronic Notes in Theoretical Computer Science, 270(1):59-74, 2011. Proceedings of the Joint 5th International Workshop on Q

Physics

Quantum Physics

15 pages. Minor changes: final proceedings version. To appear ENTCS: Proceedings of QPL V - DCV IV, Reykjavik, Iceland, 2008

Scientific paper

10.1016/j.entcs.2011.01.006

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.

Affiliated with

Also associated with

No associations

Rating

Measurements and confluence in quantum lambda calculi with explicit qubits does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Measurements and confluence in quantum lambda calculi with explicit qubits, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Measurements and confluence in quantum lambda calculi with explicit qubits will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-258484