Quantum picturalism

B Coecke - Contemporary physics, 2010 - Taylor & Francis
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 …

Quantum causality

Č Brukner - Nature Physics, 2014 - nature.com
Traditionally, quantum theory assumes the existence of a fixed background causal structure.
But if the laws of quantum mechanics are applied to the causal relations, then one could …

[图书][B] Geometry of quantum states: an introduction to quantum entanglement

I Bengtsson, K Życzkowski - 2017 - books.google.com
Quantum information theory is a branch of science at the frontier of physics, mathematics,
and information science, and offers a variety of solutions that are impossible using classical …

Foundations for near-term quantum natural language processing

B Coecke, G de Felice, K Meichanetzidis… - arXiv preprint arXiv …, 2020 - arxiv.org
We provide conceptual and mathematical foundations for near-term quantum natural
language processing (QNLP), and do so in quantum computer scientist friendly terms. We …

Mathematical foundations for a compositional distributional model of meaning

B Coecke, M Sadrzadeh, S Clark - arXiv preprint arXiv:1003.4394, 2010 - arxiv.org
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 …

[图书][B] Physics, topology, logic and computation: a Rosetta Stone

J Baez, M Stay - 2011 - Springer
In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it
became clear that underlying these diagrams is a powerful analogy between quantum …

Coqq: Foundational verification of quantum programs

L Zhou, G Barthe, PY Strub, J Liu, M Ying - Proceedings of the ACM on …, 2023 - dl.acm.org
CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its
main components are: a deeply embedded quantum programming language, in which …

Quantum natural language processing: Challenges and opportunities

R Guarasci, G De Pietro, M Esposito - Applied sciences, 2022 - mdpi.com
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 …

DisCoPy: Monoidal categories in python

G de Felice, A Toumi, B Coecke - arXiv preprint arXiv:2005.02975, 2020 - arxiv.org
We introduce DisCoPy, an open source toolbox for computing with monoidal categories. The
library provides an intuitive syntax for defining string diagrams and monoidal functors. Its …

Categories for the practising physicist

B Coecke, EO Paquette - New structures for physics, 2011 - Springer
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 …