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 …

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 …

In this chapter we survey some particular topics in category theory in a somewhat
unconventional manner. Our main focus will be on monoidal categories, mostly symmetric …

String diagrams are a powerful and intuitive graphical syntax, originating in theoretical
physics and later formalised in the context of symmetric monoidal categories. In recent …