1 | -- | 2 | Bob Coecke, Prakash Panangaden, Peter Selinger. Preface |
3 | -- | 14 | Alexandru Baltag, Sonja Smets. Correlated Information: A Logic for Multi-Partite Quantum Systems |
15 | -- | 36 | Bob Coecke, Bill Edwards, Robert W. Spekkens. Phase Groups and the Origin of Non-locality for Qubits |
37 | -- | 58 | Tanner Crowder, Keye Martin. Classical Representations of Qubit Channels |
59 | -- | 77 | Andreas Döring. Topos Quantum Logic and Mixed States |
79 | -- | 103 | Chris Heunen, Bart Jacobs. Quantum Logic in Dagger Kernel Categories |
105 | -- | 113 | André Joyal, Joachim Kock. Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) |
115 | -- | 119 | Tim N. Palmer. The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity |
141 | -- | 153 | Anne Preller, Mehrnoosh Sadrzadeh. Bell States and Negative Sentences in the Distributed Model of Meaning |
155 | -- | 161 | S. Salek, F. Seifan, Elham Kashefi. Programmable Hamiltonian for One-way Patterns |
163 | -- | 189 | Jamie Vicary. Categorical Properties of The Complex Numbers |
191 | -- | 207 | Alexander Wilce. Symmetry and Composition in Probabilistic Theories |
209 | -- | 218 | James R. Wootton, Jiannis K. Pachos. Universal Quantum Computation with Abelian Anyon Models |
219 | -- | 229 | Pablo Arrighi, Alejandro Díaz-Caro. Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic |
231 | -- | 249 | Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang. Graphical Calculus for Quantum Key Distribution (Extended Abstract) |
251 | -- | 261 | Ugo Dal Lago, Andrea Masini, Margherita Zorzi. Confluence Results for a Quantum Lambda Calculus with Measurements |
263 | -- | 272 | Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters. An Algebra of Automata That Includes Both Classical and Quantum Entities |