- Chris Heunen, Miriam Backens:
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. EPTCS 343, 2021 [contents] - (Withdrawn) The Sheaf-Theoretic Structure of Definite Causality. QPL 2021: 301-324
- 2020
- Anthony Munson
, Bob Coecke, Quanlong Wang:
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness. QPL 2020: 230-255 - Quanlong Wang:
An Algebraic Axiomatisation of ZX-calculus. QPL 2020: 303-332 - Sacha Huriot-Tattegrain, Mehdi Mhalla:
Contextuality and Expressivity of Non-locality. QPL 2020: 160-173 - Matt Wilson, Giulio Chiribella:
A Diagrammatic Approach to Information Transmission in Generalised Switches. QPL 2020: 333-348 - James Hefford, Stefano Gogioso:
Hyper-decoherence in Density Hypercubes. QPL 2020: 141-159 - Kenta Cho, Bas Westerbaan, John van de Wetering:
Dichotomy between deterministic and probabilistic models in countably additive effectus theory. QPL 2020: 91-113 - Nicola Pinzani, Stefano Gogioso:
Giving Operational Meaning to the Superposition of Causal Orders. QPL 2020: 256-278 - Louis Lemonnier, John van de Wetering, Aleks Kissinger:
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. QPL 2020: 188-212 - Adriana D. Correia, Henk T. C. Stoof, Michael Moortgat:
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications. QPL 2020: 114-140 - Cole Comfort:
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. QPL 2020: 60-90 - Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis:
Tensor Network Rewriting Strategies for Satisfiability and Counting. QPL 2020: 46-59 - Ämin Baumeler, Eleftherios Tselentis:
Equivalence of grandfather and information antinomy under intervention. QPL 2020: 1-12 - Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke:
Quantum Natural Language Processing on Near-Term Quantum Computers. QPL 2020: 213-229 - Niel de Beaudrap:
Well-tempered ZX and ZH Calculi. QPL 2020: 13-45 - Andre Kornell, Bert Lindenhovius, Michael W. Mislove:
Quantum CPOs. QPL 2020: 174-187 - Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey:
Gottesman Types for Quantum Programs. QPL 2020: 279-290 - Kartik Singhal, John H. Reppy:
Quantum Hoare Type Theory: Extended Abstract. QPL 2020: 291-302 - Bob Coecke, Matthew Leifer:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents] - 2019
- Mathias Soeken:
Using ZDDs in the mapping of quantum circuits. QPL 2019: 106-118 - Hector Miller-Bakewell:
Finite Verification of Infinite Families of Diagram Equations. QPL 2019: 27-52 - Aleks Kissinger, John van de Wetering:
PyZX: Large Scale Automated Diagrammatic Reasoning. QPL 2019: 229-241 - Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix:
Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms. QPL 2019: 85-105 - Joseph Collins, Ross Duncan:
Hopf-Frobenius Algebras and a Simpler Drinfeld Double. QPL 2019: 150-180 - Alexandru Gheorghiu, Chris Heunen:
Ontological models for quantum theory as functors. QPL 2019: 196-212 - Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah:
Phase Gadget Synthesis for Shallow Circuits. QPL 2019: 213-228 - Sean Tull:
Deriving Dagger Compactness. QPL 2019: 181-195 - Niel de Beaudrap, Xiaoning Bian, Quanlong Wang:
Techniques to Reduce (π/4)-Parity-Phase Circuits, Motivated by the ZX Calculus. QPL 2019: 131-149 - Tejas Bhojraj:
Generating Randomness from a Computable, Non-random Sequence of Qubits. QPL 2019: 1-12
