Sciweavers

82
Voted
ENTCS
2008
89views more  ENTCS 2008»
14 years 9 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 th...
Yannick Delbecque