Game Semantics for Quantum Data

Authors:
Yannick Delbecque
Affiliations:
School of computer science, McGill University, Montreal, Canada
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2011

Citing 4
Cited 1

Probabilistic game semantics

ACM Transactions on Computational Logic (TOCL)
A Categorical Semantics of Quantum Protocols

LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
A lambda calculus for quantum computation with classical control

Mathematical Structures in Computer Science
Dagger Compact Closed Categories and Completely Positive Maps

Electronic Notes in Theoretical Computer Science (ENTCS)

Distributed Probabilistic and Quantum Strategies

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a game semantics for a simply-typed @l-calculus with qbits constants and associated quantum operations. The resulting language is expressive enough to encode any quantum circuit. The language uses a notion of extended variable, similar to that seen in functional languages with pattern matching, but adapted to the needs of dealing with tensor products. The game semantics is constructed from classical game semantics using quantum interventions as questions and measurements results as answers. A soundness result for the semantics is given.