Typing Quantum Superpositions and Measurement

Abstract : We propose a way to unify two approaches of non-cloning in quantum lambda-calculi. The first approach is to forbid duplicating variables, while the second is to consider all lambda-terms as algebraic-linear functions. We illustrate this idea by defining a quantum extension of first-order simply-typed lambda-calculus, where the type is linear on superposition, while allows cloning base vectors. In addition, we provide an interpretation of the calculus where superposed types are interpreted as vector spaces and non-superposed types as their basis.
Type de document :
Communication dans un congrès
Carlos Martín-Vide; Roman Neruda; Miguel A. Vega-Rodríguez. TPNC 2017 - 6th International Conference on the Theory and Practice of Natural Computing, Dec 2017, Prague, Czech Republic. Springer, 10687, pp.13, 2017, Lecture Notes in Computer Science. 〈http://grammars.grlmc.com/TPNC2017/〉. 〈10.1007/978-3-319-71069-3_22〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01670387
Contributeur : Gilles Dowek <>
Soumis le : jeudi 21 décembre 2017 - 13:11:47
Dernière modification le : mardi 9 janvier 2018 - 14:13:30

Fichier

quantumsuperposition.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Alejandro Díaz-Caro, Gilles Dowek. Typing Quantum Superpositions and Measurement. Carlos Martín-Vide; Roman Neruda; Miguel A. Vega-Rodríguez. TPNC 2017 - 6th International Conference on the Theory and Practice of Natural Computing, Dec 2017, Prague, Czech Republic. Springer, 10687, pp.13, 2017, Lecture Notes in Computer Science. 〈http://grammars.grlmc.com/TPNC2017/〉. 〈10.1007/978-3-319-71069-3_22〉. 〈hal-01670387〉

Partager

Métriques

Consultations de la notice

57

Téléchargements de fichiers

16