Game Semantics for Quantum Stores
暂无分享,去创建一个
[1] Vincent Danos,et al. Probabilistic game semantics , 2002, TOCL.
[2] Gell-Mann,et al. Classical equations for quantum systems. , 1992, Physical review. D, Particles and fields.
[3] Griffiths. Consistent histories and quantum reasoning. , 1996, Physical review. A, Atomic, molecular, and optical physics.
[4] Russell Harmer. Games and full abstraction for non-deterministic languages , 1999 .
[5] Benoît Valiron,et al. On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) , 2008, QPL.
[6] Benoît Valiron,et al. A lambda calculus for quantum computation with classical control , 2004, Mathematical Structures in Computer Science.
[7] A. Gleason. Measures on the Closed Subspaces of a Hilbert Space , 1957 .
[8] Asher Peres,et al. Classical interventions in quantum systems. I. The measuring process , 2000 .
[9] Bart Jacobs,et al. Semantics of Weakening and Contraction , 1994, Ann. Pure Appl. Log..
[10] Dusko Pavlovic,et al. Quantum measurements without sums , 2007 .
[11] Roland Omnès. The Interpretation of Quantum Mechanics , 1987 .
[12] Charles H. Bennett,et al. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. , 1993, Physical review letters.
[13] John C. Reynolds,et al. The essence of ALGOL , 1997 .
[14] Peter Selinger,et al. Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.
[15] Benoît Valiron,et al. A functional programming language for quantum computation with classical control , 2004 .