12 search results - page 1 / 3 » Game Semantics for Quantum Stores |
ENTCS
2008
13 years 4 months ago
2008
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 ...
ENTCS
2008
13 years 4 months ago
2008
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
ENTCS
2011
12 years 11 months ago
2011
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 a...
FOSSACS
2004
Springer
13 years 10 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
ISCI
2000
13 years 4 months ago
2000
A quantum device simulating human decision making process is introduced. It consists of quantum recurrent nets generating stochastic processes which represent the motor dynamics, ...