default search action
6th QPL@MFPS 2009: Oxford, UK
- Bob Coecke, Prakash Panangaden, Peter Selinger:
Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009. Electronic Notes in Theoretical Computer Science 270(2), Elsevier 2011 - Bob Coecke, Prakash Panangaden, Peter Selinger:
Preface. 1-2 - Alexandru Baltag, Sonja Smets
:
Correlated Information: A Logic for Multi-Partite Quantum Systems. 3-14 - Bob Coecke, Bill Edwards, Robert W. Spekkens:
Phase Groups and the Origin of Non-locality for Qubits. 15-36 - Tanner Crowder, Keye Martin:
Classical Representations of Qubit Channels. 37-58 - Andreas Döring:
Topos Quantum Logic and Mixed States. 59-77 - Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. 79-103 - André Joyal, Joachim Kock:
Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract). 105-113 - Tim N. Palmer
The Invariant Set Hypothesis: A New Geometric Framework for the Foundations of Quantum Theory and the Role Played by Gravity. 115-119 - Dusko Pavlovic
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. 121-139 - Anne Preller, Mehrnoosh Sadrzadeh
Bell States and Negative Sentences in the Distributed Model of Meaning. 141-153 - S. Salek, F. Seifan, Elham Kashefi:
Programmable Hamiltonian for One-way Patterns. 155-161 - Jamie Vicary:
Categorical Properties of The Complex Numbers. 163-189 - Alexander Wilce:
Symmetry and Composition in Probabilistic Theories. 191-207 - James R. Wootton
Universal Quantum Computation with Abelian Anyon Models. 209-218 - Pablo Arrighi, Alejandro Díaz-Caro
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. 219-229 - Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang:
Graphical Calculus for Quantum Key Distribution (Extended Abstract). 231-249 - Ugo Dal Lago
Confluence Results for a Quantum Lambda Calculus with Measurements. 251-261 - Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters:
An Algebra of Automata That Includes Both Classical and Quantum Entities. 263-272
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: