Measurements and confluence in quantum lambda calculi with explicit qubits

Alejandro Díaz-Caro 1, * Pablo Arrighi 2 Manuel Gadella 3 Jonathan Grattage 4
* Auteur correspondant
1 Departamento de Ciencias de la Computación
DCC - Departamento de Ciencias de la Computación [Rosario]
2 CAPP
LIG - Laboratoire d'Informatique de Grenoble
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.
Type de document :
Communication dans un congrès
Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger. QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. Elsevier, 270(1), pp.59-74, 2011, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2011.01.006〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00924875
Contributeur : Alejandro Díaz-Caro <>
Soumis le : mardi 7 janvier 2014 - 11:36:50
Dernière modification le : vendredi 10 août 2018 - 14:12:03

Lien texte intégral

Identifiants

Collections

Citation

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage. Measurements and confluence in quantum lambda calculi with explicit qubits. Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger. QPL/DCM - Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models - 2008, Jul 2008, Reykjavik, Iceland. Elsevier, 270(1), pp.59-74, 2011, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2011.01.006〉. 〈hal-00924875〉

Partager

Métriques

Consultations de la notice

132