Sciweavers

ENTCS
2008

A Quantum Game Semantics for the Measurement Calculus

13 years 10 months ago
A Quantum Game Semantics for the Measurement Calculus
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 the measurement calculus recently introduced by Danos et. al. We give a soundness and adequacy result based on our quantum game semantics. The main contribution is not the semantics of MCdata but rather the development of ideas suitable for a game theoretic treatment of quantum computation in general.
Yannick Delbecque
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Yannick Delbecque
Comments (0)