Bob Coecke

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Towards Compositional Interpretability for XAI.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Grammar-aware sentence classification on quantum computers.

[BibT_eX]

[DOI]

Quantum Mach. Intell., June, 2023

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer.

[BibT_eX]

[DOI]

Robin Lorenz

Anna Pearson

Dimitri Kartsaklis

J. Artif. Intell. Res., 2023

Constructor Theory as Process Theory.

[BibT_eX]

[DOI]

Stefano Gogioso

Muhammad Hamza Waseem

Carlo Maria Scandolo

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

A Pipeline For Discourse Circuits From CCG.

[BibT_eX]

[DOI]

CoRR, 2023

Obstructions to Compositionality.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Light-Matter Interaction in the ZXW Calculus.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Basic ZX-calculus for students and professionals.

[BibT_eX]

[DOI]

CoRR, 2023

Distilling Text into Circuits.

[BibT_eX]

[DOI]

Jonathon Liu

Sieglinde M.-L. Pfaendler

CoRR, 2023

Quantum Picturalism: Learning Quantum Theory in High School.

[BibT_eX]

[DOI]

Selma Dündar-Coecke

Lia Yeh

Caterina Puca

Muhammad Hamza Waseem

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Kindergarden quantum mechanics graduates <i>...or how I learned to stop gluing LEGO together and love the ZX-calculus</i>.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

Language-independence of DisCoCirc's Text Circuits: English and Urdu.

[BibT_eX]

[DOI]

Muhammad Hamza Waseem

Jonathon Liu

Proceedings of the Proceedings End-to-End Compositional Models of Vector-Based Semantics, 2022

Quantum Linear Optics via String Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

MI3: Machine-initiated Intelligent Interaction for Interactive Classification and Data Reconstruction.

[BibT_eX]

[DOI]

Yu Zhang

Min Chen

ACM Trans. Interact. Intell. Syst., 2021

Reconstructing quantum theory from diagrammatic postulates.

[BibT_eX]

[DOI]

John H. Selby

Carlo Maria Scandolo

Quantum, 2021

A Quantum Natural Language Processing Approach to Musical Intelligence.

[BibT_eX]

[DOI]

Eduardo Reck Miranda

Richie Yeung

Anna Pearson

CoRR, 2021

Compositionality as we see it, everywhere around us.

[BibT_eX]

[DOI]

CoRR, 2021

lambeq: An Efficient High-Level Python Library for Quantum NLP.

[BibT_eX]

[DOI]

CoRR, 2021

Talking Space: inference from spatial linguistic meanings.

[BibT_eX]

[DOI]

CoRR, 2021

Composing Conversational Negation.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

How to make qubits speak.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning about conscious experience with axiomatic and graphical mathematics.

[BibT_eX]

[DOI]

Camilo Miguel Signorelli

Quanlong Wang

CoRR, 2021

Grammar Equations.

[BibT_eX]

[DOI]

Vincent Wang

CoRR, 2021

Using Simulation to Aid the Design and Optimization of Intelligent User Interfaces for Quality Assurance Processes in Machine Learning.

[BibT_eX]

[DOI]

CoRR, 2021

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus).

[BibT_eX]

[DOI]

CoRR, 2021

2020

Meaning Updating of Density Matrices.

[BibT_eX]

[DOI]

FLAP, 2020

Grammar-Aware Question-Answering on Quantum Computers.

[BibT_eX]

[DOI]

CoRR, 2020

Foundations for Near-Term Quantum Natural Language Processing.

[BibT_eX]

[DOI]

CoRR, 2020

Quantum Natural Language Processing on Near-Term Quantum Computers.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

DisCoPy: Monoidal Categories in Python.

[BibT_eX]

[DOI]

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness.

[BibT_eX]

[DOI]

Anthony Munson

Quanlong Wang

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

The Mathematics of Text Structure.

[BibT_eX]

[DOI]

CoRR, 2019

Categorical Semantics for Time Travel.

[BibT_eX]

[DOI]

Nicola Pinzani

Stefano Gogioso

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Generalized relations in linguistics & cognition.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Graded hyponymy for compositional distributional semantics.

[BibT_eX]

[DOI]

J. Lang. Model., 2018

Internal Wiring of Cartesian Verbs and Prepositions.

[BibT_eX]

[DOI]

Dan Marsden

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

Towards Compositional Distributional Discourse Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

Symmetric Monoidal Structure with Local Character is a Property.

[BibT_eX]

[DOI]

Stefano Gogioso

Dan Marsden

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

ZX-Rules for 2-Qubit Clifford+T Quantum Circuits.

[BibT_eX]

[DOI]

Quanlong Wang

Proceedings of the Reversible Computation - 10th International Conference, 2018

Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Leaks: Quantum, Classical, Intermediate and More.

[BibT_eX]

[DOI]

John H. Selby

Entropy, 2017

Uniqueness of Composition in Quantum Theory and Linguistics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Double Dilation ≠ Double Mixing (extended abstract).

[BibT_eX]

[DOI]

Maaike Zwart

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Two Roads to Classicality.

[BibT_eX]

[DOI]

John H. Selby

Sean Tull

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts.

[BibT_eX]

[DOI]

CoRR, 2017

Generalized Relations in Linguistics and Cognition.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2017

From Quantum Foundations via Natural Language Meaning to a Theory of Everything.

[BibT_eX]

[DOI]

Proceedings of the Incomputable: Journeys Beyond the Turing Barrier, 2017

Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning

[BibT_eX]

[DOI]

Cambridge University Press, ISBN: 9781316219317, 2017

2016

Categories of quantum and classical channels.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2016

Terminality Implies No-signalling ...and Much More Than That.

[BibT_eX]

[DOI]

New Gener. Comput., 2016

The Frobenius anatomy of word meanings II: possessive relative pronouns.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

A mathematical theory of resources.

[BibT_eX]

[DOI]

Tobias Fritz

Robert W. Spekkens

Inf. Comput., 2016

Quantum Algorithms for Compositional Natural Language Processing.

[BibT_eX]

[DOI]

William Zeng

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016

Harmonic Grammar in a DisCo Model of Meaning.

[BibT_eX]

[DOI]

CoRR, 2016

From quantum foundations via natural language meaning to a theory of everything.

[BibT_eX]

[DOI]

CoRR, 2016

Interacting Conceptual Spaces.

[BibT_eX]

[DOI]

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016

Graded Entailment for Compositional Distributional Semantics.

[BibT_eX]

[DOI]

CoRR, 2016

Dual Density Operators and Natural Language Meaning.

[BibT_eX]

[DOI]

Daniela Ashoush

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016

Compositional Distributional Cognition.

[BibT_eX]

[DOI]

Yaared Al-Mehairi

CoRR, 2016

Categorical Compositional Cognition.

[BibT_eX]

[DOI]

Yaared Al-Mehairi

Proceedings of the Quantum Interaction - 10th International Conference, 2016

2015

Distributional Sentence Entailment Using Density Matrices.

[BibT_eX]

[DOI]

Esma Balkir

Proceedings of the Topics in Theoretical Computer Science, 2015

A Compositional Explanation of the 'Pet Fish' Phenomenon.

[BibT_eX]

[DOI]

Proceedings of the Quantum Interaction - 9th International Conference, 2015

Open System Categorical Quantum Semantics in Natural Language Processing.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras.

[BibT_eX]

[DOI]

CoRR, 2014

Terminality implies non-signalling.

[BibT_eX]

[DOI]

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

The Logic of Entanglement.

[BibT_eX]

[DOI]

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

A new description of orthogonal bases.

[BibT_eX]

[DOI]

Dusko Pavlovic

Jamie Vicary

Math. Struct. Comput. Sci., 2013

The Frobenius anatomy of word meanings I: subject and object relative pronouns.

[BibT_eX]

[DOI]

J. Log. Comput., 2013

Information Security as a Resource.

[BibT_eX]

[DOI]

Inf. Comput., 2013

A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure

[BibT_eX]

[DOI]

CoRR, 2013

An alternative Gospel of structure: order, composition, processes.

[BibT_eX]

[DOI]

CoRR, 2013

Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus.

[BibT_eX]

[DOI]

Edward Grefenstette

Ann. Pure Appl. Log., 2013

The Frobenius Anatomy of Relative Pronouns.

[BibT_eX]

[DOI]

Proceedings of the 13th Meeting on the Mathematics of Language, 2013

Compositional Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

An alternative Gospel of structure: order, composition, processes.

[BibT_eX]

[DOI]

Proceedings of the Quantum Physics and Linguistics, 2013

2012

Picturing classical and quantum Bayesian inference.

[BibT_eX]

[DOI]

Robert W. Spekkens

Synth., 2012

The logic of quantum mechanics - Take II

[BibT_eX]

[DOI]

CoRR, 2012

Categories of Quantum and Classical Channels (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Tutorial: Graphical Calculus for Quantum Circuits.

[BibT_eX]

[DOI]

Ross Duncan

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Strong Complementarity and Non-locality in Categorical Quantum Mechanics.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2011

'Quantum Linguistics' and Searle's Chinese Room Argument.

[BibT_eX]

[DOI]

John Mark Bishop

Slawomir J. Nasuto

Proceedings of the Philosophy and Theory of Artificial Intelligence, 2011

Pictures of complete positivity in arbitrary dimension.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Trichromatic Open Digraphs for Understanding Qubits.

[BibT_eX]

[DOI]

Alex Lang

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

From Data Analysis and Visualization to Causality Discovery.

[BibT_eX]

[DOI]

Min Chen

Anne E. Trefethen

René Bañares-Alcántara

Computer, 2011

Concrete Sentence Spaces for Compositional Distributional Models of Meaning.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Semantics, 2011

2010

The GHZ/W-calculus contains rational arithmetic

[BibT_eX]

[DOI]

Proceedings of the Proceedings CSR 2010 Workshop on High Productivity Computations, 2010

Three qubit entanglement within graphical Z/X-calculus

[BibT_eX]

[DOI]

Bill Edwards

Proceedings of the Proceedings CSR 2010 Workshop on High Productivity Computations, 2010

Environment and classical channels in categorical quantum mechanics

[BibT_eX]

[DOI]

Simon Perdrix

Log. Methods Comput. Sci., 2010

Mathematical Foundations for a Compositional Distributional Model of Meaning

[BibT_eX]

[DOI]

CoRR, 2010

The Compositional Structure of Multipartite Quantum Entanglement.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Graphical Calculus for Quantum Key Distribution (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Preface.

[BibT_eX]

[DOI]

Prakash Panangaden

Peter Selinger

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Phase Groups and the Origin of Non-locality for Qubits.

[BibT_eX]

[DOI]

Bill Edwards

Robert W. Spekkens

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Abstract Physical Traces

[BibT_eX]

[DOI]

CoRR, 2009

Interacting Quantum Observables: Categorical Algebra and Diagrammatics.

[BibT_eX]

[DOI]

Ross Duncan

CoRR, 2009

2008

Bases in Diagrammatic Quantum Protocols.

[BibT_eX]

[DOI]

Simon Perdrix

Éric Oliver Paquette

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Toy Quantum Categories (Extended Abstract).

[BibT_eX]

[DOI]

Bill Edwards

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Interacting Quantum Observables.

[BibT_eX]

[DOI]

Ross Duncan

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Epistemic Actions as Resources.

[BibT_eX]

[DOI]

Alexandru Baltag

J. Log. Comput., 2007

Physics from Computer Science: a Position Statement.

[BibT_eX]

[DOI]

Int. J. Unconv. Comput., 2007

Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic.

[BibT_eX]

[DOI]

Proceedings of the Quantum Interaction, 2007

2006

POVMs and Naimark's Theorem Without Sums.

[BibT_eX]

[DOI]

Éric Oliver Paquette

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Axiomatic Description of Mixed States From Selinger's CPM-construction.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

2005

De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Strongly Compact Closed Semantics.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Discrete classical vs. continuous quantum data in abstract quantum mechanics.

[BibT_eX]

[DOI]

Proceedings of the Spatial Representation: Discrete vs. Continuous Computational Models, 2005

2004

Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.

[BibT_eX]

[DOI]

David J. Moore

Sonja Smets

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Algebra and Sequent Calculus for Epistemic Actions.

[BibT_eX]

[DOI]

Alexandru Baltag

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

A Categorical Semantics of Quantum Protocols.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003

Partiality in physics

[BibT_eX]

[DOI]

Keye Martin

CoRR, 2003

Entropic Geometry from Logic.

[BibT_eX]

[DOI]

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

2002

Quantum Logic in Intuitionistic Perspective.

[BibT_eX]

[DOI]

Stud Logica, 2002

Disjunctive Quantum Logic in Dynamic Perspective.

[BibT_eX]

[DOI]

Stud Logica, 2002

Physical Traces: Quantum vs. Classical Information Processing.

[BibT_eX]

[DOI]