Applying quantitative semantics to higher-order quantum computing - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2014

Applying quantitative semantics to higher-order quantum computing

Résumé

Finding a denotational semantics for higher order quantum computation is a long-standing problem in the semantics of quantum programming languages. Most past approaches to this problem fell short in one way or another, either limiting the language to an unusably small finitary fragment, or giving up important features of quantum physics such as entanglement. In this paper, we propose a denotational semantics for a quantum lambda calculus with recursion and an infinite data type, using constructions from quantitative semantics of linear logic.
Fichier principal
Vignette du fichier
1311.2290v1.pdf (314.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04670287 , version 1 (12-08-2024)

Licence

Identifiants

Citer

Michele Pagani, Peter Selinger, Benoît Valiron. Applying quantitative semantics to higher-order quantum computing. Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM SIGPLAN-SIGACT, Jan 2014, San Diego (California), United States. pp.647-658, ⟨10.1145/2578855.2535879⟩. ⟨hal-04670287⟩
44 Consultations
6 Téléchargements

Altmetric

Partager

More