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...
| Published in: | Electronic Notes in Theoretical Computer Science |
|---|---|
| Main Authors: | , , , |
| Format: | Text |
| Language: | unknown |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://arxiv.org/abs/0806.2447 https://doi.org/10.1016/j.entcs.2011.01.006 |