Article ID Journal Published Year Pages File Type
423300 Electronic Notes in Theoretical Computer Science 2008 16 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics