EPTCS 95
Proceedings 8th International Workshop on
Quantum Physics and Logic
Nijmegen, Netherlands, October 2729, 2011
Edited by: Bart Jacobs, Peter Selinger and Bas Spitters
Preface

The Cohomology of NonLocality and Contextuality
Samson Abramsky, Shane Mansfield and Rui Soares Barbosa  1 
On the Automation of Encoding Processes in the Quantum IO Monad
James Barratt  15 
Nogo theorems for functorial localic spectra of noncommutative rings
Benno van den Berg and Chris Heunen  21 
Pictures of complete positivity in arbitrary dimension
Bob Coecke and Chris Heunen  27 
A Topos Theory Foundation for Quantum Mechanics
John V Corbett  37 
On Multiplicative Linear Logic, Modality and Quantum Circuits
Ugo Dal Lago and Claudia Faggian  55 
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan and Ittoop Vergheese Puthoor  67 
The Born rule as structure of spectral bundles (extended abstract)
Bertfried Fauser, Guillaume Raynaud and Steven Vickers  81 
Completely positive classical structures and sequentializable quantum protocols
Chris Heunen and Sergio Boixo  91 
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZXcalculus
Anne Hillebrand  103 
Graphical Classification of Entangled Qutrits
Kentaro Honda  123 
The Expectation Monad in Quantum Foundations
Bart Jacobs and Jorik Mandemaker  143 
Generalizations of Boxworld
Peter Janotta  183 
Trichromatic Open Digraphs for Understanding Qubits
Alex Lang and Bob Coecke  193 
Bohrification of local nets
Joost Nuiten  211 
Symmetry constraints on temporal order in measurementbased quantum computation
R. Raussendorf, P. Sarvepalli, T.C. Wei and P. Haghnegahdar  219 
Turing machines based on unsharp quantum logic
Yun Shang, Xian Lu and Ruqian Lu  251 
A Framework for Heterotic Computing
Susan Stepney, Viv Kendon, Peter Hines and Angelika Sebald  263 
Symmetry and SelfDuality in Categories of Probabilistic Models
Alexander Wilce  275 
This volume contains the proceedings of the 8th International Workshop
on Quantum Physics and Logic (QPL 2011), which was held October
2729, 2011 at Radboud University Nijmegen.
The goal of the QPL workshop series is to bring together researchers
working on mathematical foundations of quantum physics, quantum
computing and spatiotemporal causal structures, and in particular
those that use logical tools, ordered algebraic and categorytheoretic
structures, formal languages, semantic methods and other computer
science methods for the study of physical behavior in general. Over
the past few years, there has been growing activity in these
foundational approaches, together with a renewed interest in the
foundations of quantum theory, which complement the more mainstream
research in quantum computation. Earlier workshops in this series,
with the same acronym under the name “Quantum Programming
Languages”, were held in Ottawa (2003), Turku (2004), Chicago (2005),
and Oxford (2006). The first QPL under the new name Quantum Physics
and Logic was held in Reykjavik (2008), followed by Oxford (2009 and
2010).
The workshop program included three invited lectures:
 Hans Maassen (Nijmegen): “Quantum probability as a tensor category”.
 Urs Schreiber (Utrecht): “Prequantum physics in a cohesive
topos”.
 Rob Spekkens (Perimeter Institute): “Formulating quantum
theory as a causally neutral theory of Bayesian
inference”.
In addition, there were 22 contributed talks.
They were selected by a program committee whose
members were Thorsten Altenkirch (Nottingham), John Baez (UC Riverside
and CQT Singapore), Dan Browne (UCL, London), Bob Coecke (Oxford),
Giulio Chiribella (Perimeter Institute), Andreas Döring (Oxford),
Simon Gay (University of Glasgow), Bart Jacobs (Nijmegen, cochair), Prakash
Panangaden (McGill), Simon Perdrix (CNRS  Grenoble), Mehrnoosh
Sadrzadeh (Oxford), Peter Selinger (Dalhousie, cochair), and Bas Spitters
(Nijmegen). This volume contains papers corresponding to a selection
of the contributed talks.
The local organizers were Bas Spitters (cochair),
Bart Jacobs (cochair), and Irma Haerkens.
The steering committee for the QPL workshop series consists of Bob
Coecke (Oxford),
Prakash Panangaden (McGill), and
Peter Selinger (Dalhousie).
The workshop enjoyed partial support from the EPSRC Network on
Structures at the Interface of Physics and Computer Science
(EP/I03596X/1), from the EPSRC Network on Computer Science and
Physics (CΛP), from the Netherlands Organisation for Scientific
Research (NWO), and from Radboud University Nijmegen.
September 2012
Bart Jacobs, Peter Selinger, and Bas Spitters