Sciweavers

ENTCS
2011

Game Semantics for Quantum Data

13 years 3 months ago
Game Semantics for Quantum Data
This paper presents a game semantics for a simply-typed λ-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.
Yannick Delbecque
Added 31 May 2011
Updated 31 May 2011
Type Journal
Year 2011
Where ENTCS
Authors Yannick Delbecque
Comments (0)