


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














