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 …

The meeting between Natural Language Processing (NLP) and Quantum Computing has
been very successful in recent years, leading to the development of several approaches of …

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 …

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 provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. 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 …

We formalise the constructive content of an essential feature of quantum mechanics: the
interaction of complementary quantum observables, and information flow mediated by them …

Our aim is to revisit the mathematical foundations of quantum mechanics from a novel point
of view. The standard axiomatic presentation of quantum mechanics in terms of Hilbert …

Control theory uses" signal-flow diagrams" to describe processes where real-valued
functions of time are added, multiplied by scalars, differentiated and integrated, duplicated …

Categorical quantum mechanics places finite-dimensional quantum theory in the context of
compact closed categories, with an emphasis on diagrammatic reasoning. In this framework …