Quantum teleportation is one of the most important protocols in quantum information. By
exploiting the physical resource of entanglement, quantum teleportation serves as a key …

Why did it take us 50 years since the birth of the quantum mechanical formalism to discover
that unknown quantum states cannot be cloned? Yet, the proof of the 'no-cloning theorem'is …

We provide a self-contained introduction to quantum theory using a unique diagrammatic
language. Far from simple visual aids, the diagrams we use are mathematical objects in …

The ZX-calculus is a graphical language for reasoning about quantum computation that has
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …

This article is intended as a reference guide to various notions of monoidal categories and
their associated string diagrams. It is hoped that this will be useful not just to …

Monoidal category theory serves as a powerful framework for describing logical aspects of
quantum theory, giving an abstract language for parallel and sequential composition, and a …

We propose a mathematical framework for a unification of the distributional theory of
meaning in terms of vector space models, and a compositional theory for grammatical types …

This book develops a view of logic as a theory of information-driven agency and intelligent
interaction between many agents-with conversation, argumentation and games as guiding …

Abstract Quantum Natural Language Processing (QNLP) deals with the design and
implementation of NLP models intended to be run on quantum hardware. In this paper, we …

This paper has two tightly intertwined aims:(i) to introduce an intuitive and universal
graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies …