Bob Coecke
Bob Coecke
Professor of Quantum Foundations, Logics and Structures, University of Oxford
Email verificata su cs.ox.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
A categorical semantics of quantum protocols
S Abramsky, B Coecke
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004
7762004
Mathematical foundations for a compositional distributional model of meaning
B Coecke, M Sadrzadeh, S Clark
arXiv preprint arXiv:1003.4394, 2010
4542010
Picturing quantum processes
B Coecke, A Kissinger
International Conference on Theory and Application of Diagrams, 28-31, 2018
3072018
Interacting quantum observables: categorical algebra and diagrammatics
B Coecke, R Duncan
New Journal of Physics 13 (4), 043016, 2011
2792011
Categorical quantum mechanics
S Abramsky, B Coecke
Handbook of quantum logic and quantum structures 2, 261-325, 2009
221*2009
A mathematical theory of resources
B Coecke, T Fritz, RW Spekkens
Information and Computation 250, 59-86, 2016
2182016
Quantum picturalism
B Coecke
Contemporary physics 51 (1), 59-83, 2010
2082010
Categories for the practising physicist
B Coecke, EO Paquette
New structures for physics, 173-286, 2010
206*2010
Interacting quantum observables
B Coecke, R Duncan
Automata, Languages and Programming, 2008, 2008
1922008
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical Structures in Computer Science, 2013
174*2013
Kindergarten quantum mechanics: Lecture notes
B Coecke
AIP Conference Proceedings 810 (1), 81-98, 2006
1502006
Quantum measurements without sums
B Coecke, D Pavlovic
Mathematics of Quantum Computing and Technology, 2006
149*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
912014
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
832008
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
81*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
802013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20