University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Bob Coecke : Publications

By dateBy titleBy typeBibtex

[1]

Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh‚ Stephen Pulman and Bob Coecke

In A. Chubb J. Eskandarian and V. Harizanov, editors, Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press. 2013.

To appear

[2]

Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus

Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh

In Annals of Pure and Applied Logic. 2013.

[3]

Graphical Calculus for Quantum Key Distribution (Extended Abstract)

Bob Coecke‚ Quanlong Wang‚ Baoshan Wang‚ Yongjun Wang and Qiye Zhang

In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 231 − 249. 2011.

[4]

Phase groups and the origin of non−locality for qubits

Bob Coecke‚ Bill Edwards and Robert W. Spekkens

In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 2. Pages 15−36. 2011.

arXiv:1003.5005

[5]

Toy Quantum Categories (Extended Abstract)

Bob Coecke and Bill Edwards

In Electronic Notes in Theoretical Computer Science. Vol. 270. No. 1. Pages 29 − 40. 2011.

arXiv:0808.1037

[6]

Concrete Sentence Spaces for Compositional Distributional Models of Meaning

Edward Grefenstette‚ Mehrnoosh Sadrzadeh‚ Stephen Clark‚ Bob Coecke and Stephen Pulman

In Proceedings of the 9th International Conference on Computational Semantics (IWCS11). Pages 125–134. 2011.

[7]

Environment and classical channels in categorical quantum mechanics

Bob Coecke and Simon Perdrix

In Proceedings of the 19th EACSL Annual Conference on Computer Science Logic (CSL). Vol. 6247 of Lecture Notes in Computer Science. Pages 230−244. 2010.

Extended version: arXiv:1004.1598

[8]

The Compositional Structure of Multipartite Quantum Entanglement

Bob Coecke and Aleks Kissinger

In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). Pages 297−308. 2010.

Extended version: arXiv:1002.2540

[9]

Quantum Picturalism

Bob Coecke

In Contemporary Physics. Vol. 51. Pages 59−83. 2009.

arXiv:0908.1787

[10]

Interacting quantum observables

Bob Coecke and Ross Duncan

In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). 2008.

Extended version: arXiv:quant−ph/09064725

[11]

Quantum measurements without sums

Bob Coecke and Dusko Pavlovic

In G. Chen‚ L. Kauffman and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology. Pages 567–604. Taylor and Francis. 2007.

arXiv:quant−ph/0608035

[12]

A categorical semantics of quantum protocols

Samson Abramsky and Bob Coecke

In Proceedings of the 19th Annual IEEE Symposium of Logic in Computer Science. Pages 415−425. IEEE Computer Science Press. 2004.

Extended version: arXiv:0808.1023