| Publication | Date of Publication | Type |
|---|
Quantaloids Describing Causation and Propagation of Physical Properties
(available as arXiv preprint) | N/A | Paper |
Quantum information-flow, concretely, and axiomatically
(available as arXiv preprint) | N/A | Paper |
Forcing Discretization and Determination in Quantum History Theories
(available as arXiv preprint) | N/A | Paper |
Constructor Theory as Process Theory
(available as arXiv preprint) | N/A | Paper |
| Completeness for arbitrary finite dimensions of zxw-calculus, a unifying calculus | 2026-02-27 | Paper |
| Quantum algorithms for compositional text processing | 2025-09-03 | Paper |
| Quantum linear optics via string diagrams | 2025-08-19 | Paper |
| Obstructions to compositionality | 2025-08-05 | Paper |
| Constructor theory as process theory | 2025-08-05 | Paper |
| Categorical semantics for time travel | 2024-12-19 | Paper |
| Quantum natural language processing on near-term quantum computers | 2024-11-28 | Paper |
| And-gates in ZX-calculus: spider nest identities and QBC-completeness | 2024-11-28 | Paper |
| From quantum foundations via natural language meaning to a theory of everything | 2024-09-06 | Paper |
Light-Matter Interaction in the ZXW Calculus
Electronic Proceedings in Theoretical Computer Science | 2024-03-22 | Paper |
Composing conversational negation
(available as arXiv preprint) | 2024-02-13 | Paper |
| Composing conversational negation | 2024-02-13 | Paper |
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer
Journal of Artificial Intelligence Research | 2023-08-28 | Paper |
| Obstructions to Compositionality | 2023-07-26 | Paper |
| Basic ZX-calculus for students and professionals | 2023-03-06 | Paper |
| Distilling Text into Circuits | 2023-01-25 | Paper |
Categorical Quantum Mechanics I: Causal Quantum Processes
(available as arXiv preprint) | 2022-10-11 | Paper |
scientific article; zbMATH DE number 7594244 (Why is no real title available?)
(available as arXiv preprint) | 2022-09-28 | Paper |
DisCoPy: monoidal categories in Python
(available as arXiv preprint) | 2022-01-10 | Paper |
| DisCoPy: monoidal categories in Python | 2022-01-10 | Paper |
Symmetric monoidal structure with local character is a property
(available as arXiv preprint) | 2021-12-20 | Paper |
| Symmetric monoidal structure with local character is a property | 2021-12-20 | Paper |
Two roads to classicality
(available as arXiv preprint) | 2021-12-17 | Paper |
| Two roads to classicality | 2021-12-17 | Paper |
Double dilation double mixing (extended abstract)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Double dilation double mixing (extended abstract) | 2021-12-17 | Paper |
Uniqueness of Composition in Quantum Theory and Linguistics
(available as arXiv preprint) | 2021-12-17 | Paper |
| Uniqueness of Composition in Quantum Theory and Linguistics | 2021-12-17 | Paper |
The Mathematics of Text Structure
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | 2021-12-08 | Paper |
Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}
Theoretical Computer Science | 2021-12-01 | Paper |
| Compositionality as we see it, everywhere around us | 2021-10-11 | Paper |
Terminality implies non-signalling
(available as arXiv preprint) | 2021-06-29 | Paper |
| Terminality implies non-signalling | 2021-06-29 | Paper |
Categories of Quantum and Classical Channels (extended abstract)
(available as arXiv preprint) | 2021-06-23 | Paper |
| Categories of Quantum and Classical Channels (extended abstract) | 2021-06-23 | Paper |
| Grammar Equations | 2021-06-14 | Paper |
| scientific article; zbMATH DE number 7339575 (Why is no real title available?) | 2021-04-27 | Paper |
Trichromatic open digraphs for understanding qubits
(available as arXiv preprint) | 2021-04-27 | Paper |
| Trichromatic open digraphs for understanding qubits | 2021-04-27 | Paper |
Interacting quantum observables: categorical algebra and diagrammatics
New Journal of Physics | 2020-11-24 | Paper |
Generalized relations in linguistics \& cognition
Theoretical Computer Science | 2018-12-04 | Paper |
ZX-rules for 2-qubit \(\text{2-qubit Clifford}+\text{T}\) quantum circuits
(available as arXiv preprint) | 2018-10-17 | Paper |
Terminality implies no-signalling\dots and much more than that
New Generation Computing | 2018-09-05 | Paper |
ZX-Rules for 2-qubit Clifford+T Quantum Circuits
(available as arXiv preprint) | 2018-04-15 | Paper |
A diagrammatic derivation of the Hermitian adjoint
Foundations of Physics | 2018-03-27 | Paper |
| Generalized relations in linguistics and cognition | 2017-12-20 | Paper |
| The time-reverse of any causal theory is eternal noise | 2017-11-15 | Paper |
Open system categorical quantum semantics in natural language processing
(available as arXiv preprint) | 2017-07-11 | Paper |
Strong complementarity and non-locality in categorical quantum mechanics
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| Double Dilation \neq Double Mixing | 2017-04-07 | Paper |
| Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning | 2017-03-27 | Paper |
Categories of quantum and classical channels
Quantum Information Processing | 2017-03-08 | Paper |
The logic of quantum mechanics -- Take II
(available as arXiv preprint) | 2016-12-20 | Paper |
Reasoning about meaning in natural language with compact closed categories and Frobenius algebras
(available as arXiv preprint) | 2016-12-20 | Paper |
Categorical quantum mechanics. II: Classical-quantum interaction
International Journal of Quantum Information | 2016-11-09 | Paper |
Toy quantum categories (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Phase groups and the origin of non-locality for qubits
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Graphical calculus for quantum key distribution (extended abstract)
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Pictures of complete positivity in arbitrary dimension
Information and Computation | 2016-10-06 | Paper |
A mathematical theory of resources
Information and Computation | 2016-10-06 | Paper |
| Compositional Distributional Cognition | 2016-08-12 | Paper |
Entropic geometry from logic
(available as arXiv preprint) | 2016-05-03 | Paper |
Distributional sentence entailment using density matrices
Topics in Theoretical Computer Science | 2016-04-01 | Paper |
A Compositional Explanation of the ‘Pet Fish’ Phenomenon
Quantum Interaction | 2016-03-10 | Paper |
| Graded Entailment for Compositional Distributional Semantics | 2016-01-19 | Paper |
Tutorial: Graphical Calculus for Quantum Circuits
Reversible Computation | 2015-11-30 | Paper |
The logic of entanglement
Lecture Notes in Computer Science | 2014-06-02 | Paper |
An alternative Gospel of structure: order, composition, processes
(available as arXiv preprint) | 2014-05-19 | Paper |
Bases in diagrammatic quantum protocols
Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
Axiomatic description of mixed states from Selinger's CPM-construction
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
POVMs and Naimark's theorem without sums
Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
Annals of Pure and Applied Logic | 2013-12-19 | Paper |
De-linearizing linearity: projective quantum axiomatics from strong compact closure
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Picturing classical and quantum Bayesian inference
Synthese | 2013-11-25 | Paper |
| Strongly compact closed semantics | 2013-10-08 | Paper |
Categorical quantum mechanics
(available as arXiv preprint) | 2013-10-04 | Paper |
| Algebra and sequent calculus for epistemic actions | 2013-09-25 | Paper |
Physical traces: quantum vs. classical information processing
Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
Causal categories: relativistically interacting processes
Foundations of Physics | 2013-07-05 | Paper |
A new description of orthogonal bases
Mathematical Structures in Computer Science | 2013-06-11 | Paper |
Compositional quantum logic
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky | 2013-05-28 | Paper |
Environment and classical channels in categorical quantum mechanics
Logical Methods in Computer Science | 2013-01-07 | Paper |
Spekken's toy theory as a category of processes
(available as arXiv preprint) | 2012-10-01 | Paper |
A universe of processes and some of its guises
(available as arXiv preprint) | 2011-11-22 | Paper |
Categories for the Practising Physicist
New Structures for Physics | 2011-05-31 | Paper |
The Compositional Structure of Multipartite Quantum Entanglement
Automata, Languages and Programming | 2010-09-07 | Paper |
Environment and classical channels in categorical quantum mechanics
Lecture Notes in Computer Science | 2010-09-03 | Paper |
Classical and quantum structuralism
(available as arXiv preprint) | 2010-05-14 | Paper |
| Quantum Picturalism | 2009-08-13 | Paper |
Introducing categories to the practicing physicist
(available as arXiv preprint) | 2008-09-29 | Paper |
Interacting Quantum Observables
Automata, Languages and Programming | 2008-08-19 | Paper |
| Toy quantum categories | 2008-08-07 | Paper |
Quantum measurements without sums
(available as arXiv preprint) | 2008-03-20 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
Epistemic Actions as Resources
Journal Of Logic And Computation | 2007-12-12 | Paper |
Kindergarten quantum mechanics -- lecture notes
(available as arXiv preprint) | 2007-03-09 | Paper |
scientific article; zbMATH DE number 2236620 (Why is no real title available?)
(available as arXiv preprint) | 2005-12-08 | Paper |
Abstract Physical Traces
(available as arXiv preprint) | 2005-06-01 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
| Abstract Physical Traces | 2005-06-01 | Paper |
The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
International Journal of Theoretical Physics | 2005-03-15 | Paper |
Disjunctive quantum logic in dynamic perspective
Studia Logica | 2002-08-21 | Paper |
| The creation-discovery-view: Towards a possible explanation of quantum reality | 2002-07-22 | Paper |
Quantum logic in intuitionistic perspective
Studia Logica | 2002-07-08 | Paper |
Structural characterization of compoundness
International Journal of Theoretical Physics | 2002-05-20 | Paper |
scientific article; zbMATH DE number 1512859 (Why is no real title available?)
(available as arXiv preprint) | 2001-06-04 | Paper |
A logical description for perfect measurements
International Journal of Theoretical Physics | 2001-02-25 | Paper |
State transitions as morphisms for complete lattices
International Journal of Theoretical Physics | 2001-02-25 | Paper |
