QPL2017 - Reutter and Vicary. Shaded tangles for the design and verification of quantum programs

Martti Karvonen: "Dagger categories: monads and limits"

Tom Avery: "Notions of algebraic theory"

Ulrich Kraehmer: "What is a quantum symmetry?"

Kevin Dunne: "Endomorphism semialgebras in categorical quantum mechanics"

Dan Marsden: "Custom hypergraph categories via generalized relations"

Tarmo Uustalu: "Grading monads, comonads and distributive laws"

QPL2017 - Weilenmann and Colbeck. Entropy vector approach to distinguish causal structures

QPL2017 - Quanlong Wang. Qutrit ZX-calculus is complete for Stabilizer Quantum Mechanics

QPL2017 - Abramsky et al. Minimum quantum resources for strong non-locality

QPL2017 - Paulo Perinotti. The hierarchy of higher-order quantum computations

QPL2017 - Pau Enrique Moliner, Chris Heunen and Sean Tull. Space in monoidal categories

QPL2017 - Chris Heunen and Manuel Reyes. Frobenius structures over Hilbert C*-modules

QPL2017 - Shane Mansfield. Reality of the quantum state: Towards a stronger ψ-ontology theorem

QPL2017 - Kevin Dunne. Spectral Presheaves and on the Structure of H*-Algebras

QPL2017 - Alexander Wilce. A Shortcut form CQM to Convex Operational Theories

Ciaran Lee and John Selby. A no-go theorem for theories that decohere to quantum mechanics

QPL2017 - Stefano Gogioso and Carlo Maria Scandolo. Categorical Probabilistic Theories

QPL2017 - Ravi Kunjwal. Irreducible noncontextuality inequalities from the Kochen-Specker theorem

QPL2017 - Reutter and Vicary. Shaded tangles for the design and verification of quantum programs

QPL2017 - Lídia Del Rio and Lea Kraemer. Operational locality in global theories

QPL2017 - Dall'Arno, Brandsen, Tosini, Buscemi et al. No-Hypersignaling as a Physical Principle

QPL2017 - Oscar Cunningham and Chris Heunen. Purity through factorisation

QPL2017 - Aleks Kissinger, Sean Tull and Bas Westerbaan. Picture-perfect QKD

QPL2017 - John van de Wetering. Quantum theory is a quasi-stochastic process theory