#### Filter Results:

- Full text PDF available (113)

#### Publication Year

1995

2018

- This year (12)
- Last 5 years (40)
- Last 10 years (79)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Samson Abramsky, Bob Coecke
- Proceedings of the 19th Annual IEEE Symposium onâ€¦
- 2004

Particular focus in this paper is on quantum information protocols, which exploit quantum-mechanical effects in an essential way. The particular examples we shall use to illustrate our approach willâ€¦ (More)

- Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
- ArXiv
- 2010

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, for which we rely onâ€¦ (More)

- Bob Coecke, Ross Duncan
- ArXiv
- 2009

Within an intuitive diagrammatic calculus and corresponding highlevel category-theoretic algebraic description we axiomatise complementary observables for quantum systems described in finiteâ€¦ (More)

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 spaces, essentiallyâ€¦ (More)

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, namely Lambekâ€™sâ€¦ (More)

- Bob Coecke, Ross Duncan
- ICALP
- 2008

We formalise the constructive content of an essential feature of quantum mechanics: the interaction of complementary quantum observables, and information flow mediated by them. Using a generalâ€¦ (More)

- Bob Coecke, Dusko Pavlovic
- 2008

Sums play a prominent role in the formalisms of quantum mechanics, be it for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum measurementâ€¦ (More)

- Bob Coecke, Dusko Pavlovic, Jamie Vicary
- Mathematical Structures in Computer Science
- 2013

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative â€ -Frobenius monoid in the category FdHilb, which has finite-dimensionalâ€¦ (More)

The unique features of the quantum world are explained in this book through the language of diagrams, setting out an innovative visual method for presenting complex theories. Requiring only basicâ€¦ (More)

- Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang
- 2012 27th Annual IEEE Symposium on Logic inâ€¦
- 2012

Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight relationship between two key quantum theoreticalâ€¦ (More)