default search action
17th QPL 2020: Paris, France
- Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 - Ämin Baumeler, Eleftherios Tselentis:
Equivalence of grandfather and information antinomy under intervention. 1-12 - Niel de Beaudrap:
Well-tempered ZX and ZH Calculi. 13-45 - Niel de Beaudrap, Aleks Kissinger, Konstantinos Meichanetzidis:
Tensor Network Rewriting Strategies for Satisfiability and Counting. 46-59 - Cole Comfort:
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. 60-90 - Kenta Cho, Bas Westerbaan, John van de Wetering:
Dichotomy between deterministic and probabilistic models in countably additive effectus theory. 91-113 - Adriana D. Correia, Henk T. C. Stoof, Michael Moortgat:
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications. 114-140 - James Hefford, Stefano Gogioso:
Hyper-decoherence in Density Hypercubes. 141-159 - Sacha Huriot-Tattegrain, Mehdi Mhalla:
Contextuality and Expressivity of Non-locality. 160-173 - Andre Kornell, Bert Lindenhovius, Michael W. Mislove:
Quantum CPOs. 174-187 - Louis Lemonnier, John van de Wetering, Aleks Kissinger:
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus. 188-212 - Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke:
Quantum Natural Language Processing on Near-Term Quantum Computers. 213-229 - Anthony Munson, Bob Coecke, Quanlong Wang:
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness. 230-255 - Nicola Pinzani, Stefano Gogioso:
Giving Operational Meaning to the Superposition of Causal Orders. 256-278 - Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey:
Gottesman Types for Quantum Programs. 279-290 - Kartik Singhal, John H. Reppy:
Quantum Hoare Type Theory: Extended Abstract. 291-302 - Quanlong Wang:
An Algebraic Axiomatisation of ZX-calculus. 303-332 - Matt Wilson, Giulio Chiribella:
A Diagrammatic Approach to Information Transmission in Generalised Switches. 333-348
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.