Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422046 | Electronic Notes in Theoretical Computer Science | 2008 | 18 Pages |
Abstract
This paper presents a game semantics for a simply-typed λ-calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the language enough expressiveness to encode any quantum circuits. 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. These tensored variables are used to refer to quantum stores and to keep track of the size of the states which they contain. The game semantics is constructed from classical game semantics using intervention operators to encode the effects of the commands. A soundess result for the semantics is given.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics