Bob Coecke
Bob Coecke
Professor of Quantum Foundations, Logics and Structures, University of Oxford
確認したメール アドレス: cs.ox.ac.uk - ホームページ
タイトル
引用先
引用先
A categorical semantics of quantum protocols
S Abramsky, B Coecke
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
7712004
Mathematical foundations for a compositional distributional model of meaning
B Coecke, M Sadrzadeh, S Clark
arXiv preprint arXiv:1003.4394, 2010
4512010
Picturing quantum processes
B Coecke, A Kissinger
International Conference on Theory and Application of Diagrams, 28-31, 2018
2922018
Interacting quantum observables: categorical algebra and diagrammatics
B Coecke, R Duncan
New Journal of Physics 13 (4), 043016, 2011
2752011
Categorical quantum mechanics
S Abramsky, B Coecke
Handbook of quantum logic and quantum structures 2, 261-325, 2009
218*2009
A mathematical theory of resources
B Coecke, T Fritz, RW Spekkens
Information and Computation 250, 59-86, 2016
2102016
Quantum picturalism
B Coecke
Contemporary physics 51 (1), 59-83, 2010
2062010
Categories for the practising physicist
B Coecke, EO Paquette
New structures for physics, 173-286, 2010
204*2010
Interacting quantum observables
B Coecke, R Duncan
Automata, Languages and Programming, 2008, 2008
1882008
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical Structures in Computer Science, 2013
173*2013
Kindergarten quantum mechanics: Lecture notes
B Coecke
AIP Conference Proceedings 810 (1), 81-98, 2006
1482006
Quantum measurements without sums
B Coecke, D Pavlovic
Mathematics of Quantum Computing and Technology, 2006
147*2006
A compositional distributional model of meaning
S Clark, B Coecke, M Sadrzadeh
Proceedings of the Second Quantum Interaction Symposium (QI-2008), 133-140, 2008
1232008
Concrete sentence spaces for compositional distributional models of meaning
E Grefenstette, M Sadrzadeh, S Clark, B Coecke, S Pulman
Computing meaning, 71-86, 2014
892014
Epistemic actions as resources
A Baltag, B Coecke, M Sadrzadeh
Journal of Logic and Computation 17 (3), 555-585, 2007
892007
Phase groups and the origin of non-locality for qubits
B Coecke, B Edwards, RW Spekkens
Electronic Notes in Theoretical Computer Science 270 (2), 15-36, 2011
87*2011
Classical and quantum structuralism
B Coecke, EO Paquette, D Pavlovic
Semantic techniques for quantum computation, 2008, 2008
822008
The Frobenius anatomy of word meanings I: subject and object relative pronouns
M Sadrzadeh, S Clark, B Coecke
Journal of Logic and Computation 23 (6), 1293-1317, 2013
812013
Abstract physical traces
S Abramsky, B Coecke
Theory and Applications of Categories 14 (6), 111-124, 2005
80*2005
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus
B Coecke, E Grefenstette, M Sadrzadeh
Annals of pure and applied logic 164 (11), 1079-1100, 2013
792013
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20