Game Semantics for Quantum Data | Zendy

Yannick Delbecque | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Game Semantics for Quantum Data

Author(s) -

Yannick Delbecque

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.01.005

Subject(s) - soundness , operational semantics , computer science , denotational semantics , semantics (computer science) , game semantics , encode , theoretical computer science , programming language , biochemistry , chemistry , gene

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research