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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Yannick Delbecque
• Keywords: ENTCS 2008, Quantum, Quantum Game Semantics, Quantum Strategies