default search action
Bob Coecke
Person information
- affiliation: Oxford University, UK
- affiliation: Vrije Universiteit Brussel, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j26]Yu Zhang
, Martijn Tennekes
Simulation-based Optimization of User Interfaces for Quality-assuring Machine Learning Model Predictions. ACM Trans. Interact. Intell. Syst. 14(1): 1:1-1:32 (2024) - [i46]Sean Tull, Robin Lorenz, Stephen Clark, Ilyas Khan, Bob Coecke:
Towards Compositional Interpretability for XAI. CoRR abs/2406.17583 (2024) - [i45]Tuomas Laakkonen, Konstantinos Meichanetzidis, Bob Coecke:
Quantum Algorithms for Compositional Text Processing. CoRR abs/2408.06061 (2024) - 2023
- [j25]Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke:
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer. J. Artif. Intell. Res. 76: 1305-1342 (2023) - [j24]Konstantinos Meichanetzidis, Alexis Toumi, Giovanni de Felice, Bob Coecke:
Grammar-aware sentence classification on quantum computers. Quantum Mach. Intell. 5(1): 1-16 (2023) - [c59]Boldizsár Poór, Quanlong Wang, Razin A. Shaikh, Lia Yeh, Richie Yeung, Bob Coecke:
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus. LICS 2023: 1-14 - [c58]Selma Dündar-Coecke
Quantum Picturalism: Learning Quantum Theory in High School. QCE 2023: 21-32 - [c57]Giovanni de Felice, Razin A. Shaikh, Boldizsár Poór, Lia Yeh, Quanlong Wang, Bob Coecke:
Light-Matter Interaction in the ZXW Calculus. QPL 2023: 20-46 - [c56]Stefano Gogioso, Vincent Wang-Mascianica, Muhammad Hamza Waseem, Carlo Maria Scandolo, Bob Coecke:
Constructor Theory as Process Theory. ACT 2023: 137-151 - [c55]Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke:
Obstructions to Compositionality. ACT 2023: 226-245 - [i44]Vincent Wang-Mascianica, Jonathon Liu, Bob Coecke:
Distilling Text into Circuits. CoRR abs/2301.10595 (2023) - [i43]Bob Coecke:
Basic ZX-calculus for students and professionals. CoRR abs/2303.03163 (2023) - [i42]Jonathon Liu, Razin A. Shaikh, Benjamin Rodatz, Richie Yeung, Bob Coecke:
A Pipeline For Discourse Circuits From CCG. CoRR abs/2311.17892 (2023) - 2022
- [j23]Bob Coecke, Dominic Horsman, Aleks Kissinger
Kindergarden quantum mechanics graduates ...or how I learned to stop gluing LEGO together and love the ZX-calculus. Theor. Comput. Sci. 897: 1-22 (2022) - [c54]Muhammad Hamza Waseem, Jonathon Liu, Vincent Wang-Mascianica, Bob Coecke:
Language-independence of DisCoCirc's Text Circuits: English and Urdu. E2ECOMPVEC@ESSLLI 2022: 50-60 - [c53]Giovanni de Felice, Bob Coecke:
Quantum Linear Optics via String Diagrams. QPL 2022: 83-100 - 2021
- [j22]John H. Selby
Reconstructing quantum theory from diagrammatic postulates. Quantum 5: 445 (2021) - [j21]Yu Zhang
MI3: Machine-initiated Intelligent Interaction for Interactive Classification and Data Reconstruction. ACM Trans. Interact. Intell. Syst. 11(3-4): 18:1-18:34 (2021) - [c52]Razin A. Shaikh
Composing Conversational Negation. ACT 2021: 352-367 - [i41]Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang:
Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). CoRR abs/2102.10984 (2021) - [i40]Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke:
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer. CoRR abs/2102.12846 (2021) - [i39]Yu Zhang, Martijn Tennekes, Tim J. A. de Jong, Lyana Curier, Bob Coecke, Min Chen:
Using Simulation to Aid the Design and Optimization of Intelligent User Interfaces for Quality Assurance Processes in Machine Learning. CoRR abs/2104.01129 (2021) - [i38]Bob Coecke, Vincent Wang:
Grammar Equations. CoRR abs/2106.07485 (2021) - [i37]Camilo Miguel Signorelli, Quanlong Wang, Bob Coecke:
Reasoning about conscious experience with axiomatic and graphical mathematics. CoRR abs/2106.16061 (2021) - [i36]Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi:
How to make qubits speak. CoRR abs/2107.06776 (2021) - [i35]Vincent Wang-Mascianica, Bob Coecke:
Talking Space: inference from spatial linguistic meanings. CoRR abs/2109.06554 (2021) - [i34]Dimitri Kartsaklis, Ian Fan, Richie Yeung, Anna Pearson, Robin Lorenz, Alexis Toumi, Giovanni de Felice, Konstantinos Meichanetzidis, Stephen Clark, Bob Coecke:
lambeq: An Efficient High-Level Python Library for Quantum NLP. CoRR abs/2110.04236 (2021) - [i33]Bob Coecke:
Compositionality as we see it, everywhere around us. CoRR abs/2110.05327 (2021) - [i32]Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke:
A Quantum Natural Language Processing Approach to Musical Intelligence. CoRR abs/2111.06741 (2021) - 2020
- [j20]Bob Coecke, Konstantinos Meichanetzidis:
Meaning Updating of Density Matrices. FLAP 7(5): 745-770 (2020) - [c51]Giovanni de Felice, Alexis Toumi
DisCoPy: Monoidal Categories in Python. ACT 2020: 183-197 - [c50]Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi
Quantum Natural Language Processing on Near-Term Quantum Computers. QPL 2020: 213-229 - [c49]Anthony Munson
AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness. QPL 2020: 230-255 - [e13]Bob Coecke, Matthew Leifer:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents] - [e12]John Baez, Bob Coecke:
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. EPTCS 323, 2020 [contents] - [i31]Bob Coecke, Konstantinos Meichanetzidis:
Meaning updating of density matrices. CoRR abs/2001.00862 (2020) - [i30]Bob Coecke, Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi
Foundations for Near-Term Quantum Natural Language Processing. CoRR abs/2012.03755 (2020) - [i29]Konstantinos Meichanetzidis, Alexis Toumi
Grammar-Aware Question-Answering on Quantum Computers. CoRR abs/2012.03756 (2020)
2010 – 2019
- 2019
- [c48]Nicola Pinzani, Stefano Gogioso, Bob Coecke:
Categorical Semantics for Time Travel. LICS 2019: 1-20 - [e11]Bob Coecke, Ariane Lambert-Mogiliansky:
Quantum Interaction - 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11690, Springer 2019, ISBN 978-3-030-35894-5 [contents] - [i28]Bob Coecke:
The Mathematics of Text Structure. CoRR abs/1904.03478 (2019) - 2018
- [j19]Dea Bankova, Bob Coecke, Martha Lewis
Graded hyponymy for compositional distributional semantics. J. Lang. Model. 6(2): 225-260 (2018) - [j18]Bob Coecke, Fabrizio Genovese
Generalized relations in linguistics & cognition. Theor. Comput. Sci. 752: 104-115 (2018) - [c47]Bob Coecke, Aleks Kissinger
Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning. Diagrams 2018: 28-31 - [c46]Bob Coecke, Quanlong Wang:
ZX-Rules for 2-Qubit Clifford+T Quantum Circuits. RC 2018: 144-161 - [c45]Bob Coecke, Giovanni de Felice, Dan Marsden, Alexis Toumi
Towards Compositional Distributional Discourse Analysis. CAPNS@QI 2018: 1-12 - [c44]Bob Coecke, Martha Lewis
Internal Wiring of Cartesian Verbs and Prepositions. CAPNS@QI 2018: 75-88 - [c43]Stefano Gogioso
Symmetric Monoidal Structure with Local Character is a Property. QPL 2018: 179-190 - [e10]Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 [contents] - [e9]Martha Lewis
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018. EPTCS 283, 2018 [contents] - 2017
- [b1]Bob Coecke, Aleks Kissinger
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning. Cambridge University Press 2017, ISBN 9781316219317 - [j17]John H. Selby
Leaks: Quantum, Classical, Intermediate and More. Entropy 19(4): 174 (2017) - [c42]Bob Coecke, Fabrizio Genovese, Martha Lewis
Generalized Relations in Linguistics and Cognition. WoLLIC 2017: 256-270 - [c41]Bob Coecke, John H. Selby
Two Roads to Classicality. QPL 2017: 104-118 - [c40]Maaike Zwart
Double Dilation ≠ Double Mixing (extended abstract). QPL 2017: 133-146 - [c39]Bob Coecke, Fabrizio Genovese
Uniqueness of Composition in Quantum Theory and Linguistics. QPL 2017: 249-257 - [p3]Bob Coecke:
From Quantum Foundations via Natural Language Meaning to a Theory of Everything. The Incomputable 2017: 63-80 - [e8]José Acácio de Barros, Bob Coecke, Emmanuel M. Pothos:
Quantum Interaction - 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10106, Springer 2017, ISBN 978-3-319-52288-3 [contents] - [i27]Joe Bolt, Bob Coecke, Fabrizio Genovese
Interacting Conceptual Spaces I : Grammatical Composition of Concepts. CoRR abs/1703.08314 (2017) - 2016
- [j16]Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. Inf. Comput. 250: 50-58 (2016) - [j15]Bob Coecke, Tobias Fritz
A mathematical theory of resources. Inf. Comput. 250: 59-86 (2016) - [j14]Mehrnoosh Sadrzadeh
The Frobenius anatomy of word meanings II: possessive relative pronouns. J. Log. Comput. 26(2): 785-815 (2016) - [j13]Bob Coecke:
Terminality Implies No-signalling ...and Much More Than That. New Gener. Comput. 34(1-2): 69-85 (2016) - [j12]Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of quantum and classical channels. Quantum Inf. Process. 15(12): 5179-5209 (2016) - [c38]Yaared Al-Mehairi, Bob Coecke, Martha Lewis
Categorical Compositional Cognition. QI 2016: 122-134 - [c37]Daniela Ashoush, Bob Coecke:
Dual Density Operators and Natural Language Meaning. SLPCS@QPL 2016: 1-10 - [c36]Josef Bolt, Bob Coecke, Fabrizio Genovese
Interacting Conceptual Spaces. SLPCS@QPL 2016: 11-19 - [c35]William Zeng, Bob Coecke:
Quantum Algorithms for Compositional Natural Language Processing. SLPCS@QPL 2016: 67-75 - [i26]Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden:
Graded Entailment for Compositional Distributional Semantics. CoRR abs/1601.04908 (2016) - [i25]Martha Lewis, Bob Coecke:
Harmonic Grammar in a DisCo Model of Meaning. CoRR abs/1602.02089 (2016) - [i24]Bob Coecke:
From quantum foundations via natural language meaning to a theory of everything. CoRR abs/1602.07618 (2016) - [i23]Yaared Al-Mehairi, Bob Coecke, Martha Lewis:
Compositional Distributional Cognition. CoRR abs/1608.03785 (2016) - 2015
- [c34]Robin Piedeleu, Dimitri Kartsaklis
Open System Categorical Quantum Semantics in Natural Language Processing. CALCO 2015: 270-289 - [c33]Bob Coecke, Martha Lewis
A Compositional Explanation of the 'Pet Fish' Phenomenon. QI 2015: 179-192 - [c32]Esma Balkir, Mehrnoosh Sadrzadeh
Distributional Sentence Entailment Using Density Matrices. TTCS 2015: 1-22 - [i22]Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh:
Open System Categorical Quantum Semantics in Natural Language Processing. CoRR abs/1502.00831 (2015) - [i21]Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke:
Distributional Sentence Entailment Using Density Matrices. CoRR abs/1506.06534 (2015) - [i20]Bob Coecke, Martha Lewis:
A Compositional Explanation of the Pet Fish Phenomenon. CoRR abs/1509.06594 (2015) - 2014
- [c31]Bob Coecke:
The Logic of Entanglement. Horizons of the Mind 2014: 250-267 - [c30]Bob Coecke:
Terminality implies non-signalling. QPL 2014: 27-35 - [e7]Claudia Casadio, Bob Coecke, Michael Moortgat, Philip J. Scott:
Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Lecture Notes in Computer Science 8222, Springer 2014, ISBN 978-3-642-54788-1 [contents] - [e6]Bob Coecke, Matty J. Hoban:
Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013. EPTCS 171, 2014 [contents] - [e5]Bob Coecke, Ichiro Hasuo
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents] - [i19]Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke:
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras. CoRR abs/1401.5980 (2014) - [i18]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. CoRR abs/1404.5278 (2014) - [i17]Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings II: possessive relative pronouns. CoRR abs/1406.4690 (2014) - [i16]Bob Coecke, Tobias Fritz, Robert W. Spekkens:
A mathematical theory of resources. CoRR abs/1409.5531 (2014) - 2013
- [j11]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Log. 164(11): 1079-1100 (2013) - [j10]Ed Blakey, Bob Coecke, Michael W. Mislove
Information Security as a Resource. Inf. Comput. 226: 1-2 (2013) - [j9]Mehrnoosh Sadrzadeh
The Frobenius anatomy of word meanings I: subject and object relative pronouns. J. Log. Comput. 23(6): 1293-1317 (2013) - [j8]Bob Coecke, Dusko Pavlovic
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23(3): 555-567 (2013) - [c29]Bob Coecke, Chris Heunen, Aleks Kissinger
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations 2013: 21-36 - [c28]Stephen Clark, Bob Coecke, Mehrnoosh Sadrzadeh:
The Frobenius Anatomy of Relative Pronouns. MOL 2013: 41-51 - [p2]Bob Coecke:
An alternative Gospel of structure: order, composition, processes. Quantum Physics and Linguistics 2013: 1-21 - [e4]Bob Coecke, Luke Ong
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7860, Springer 2013, ISBN 978-3-642-38163-8 [contents] - [i15]Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh:
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus. CoRR abs/1302.0393 (2013) - [i14]Stephen Clark, Bob Coecke, Edward Grefenstette, Stephen Pulman, Mehrnoosh Sadrzadeh:
A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure. CoRR abs/1305.0556 (2013) - [i13]Bob Coecke:
An alternative Gospel of structure: order, composition, processes. CoRR abs/1307.4038 (2013) - 2012
- [j7]Bob Coecke, Robert W. Spekkens:
Picturing classical and quantum Bayesian inference. Synth. 186(3): 651-696 (2012) - [c27]Bob Coecke, Ross Duncan
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254 - [c26]Bob Coecke, Ross Duncan
Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13 - [c25]Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of Quantum and Classical Channels (extended abstract). QPL 2012: 1-14 - [i12]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012) - [i11]Bob Coecke:
The logic of quantum mechanics - Take II. CoRR abs/1204.3458 (2012) - 2011
- [j6]Min Chen, Anne E. Trefethen, René Bañares-Alcántara, Marina Jirotka, Bob Coecke, Thomas Ertl, Albrecht Schmidt
From Data Analysis and Visualization to Causality Discovery. Computer 44(10): 84-87 (2011) - [c24]Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman:
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. IWCS 2011 - [c23]Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. QPL 2011: 27-35 - [c22]Alex Lang, Bob Coecke:
Trichromatic Open Digraphs for Understanding Qubits. QPL 2011: 193-209 - [c21]John Mark Bishop, Slawomir J. Nasuto, Bob Coecke:
'Quantum Linguistics' and Searle's Chinese Room Argument. PT-AI 2011: 17-28 - [e3]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents] - [e2]Bob Coecke, Prakash Panangaden, Peter Selinger:
Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009. Electronic Notes in Theoretical Computer Science 270(2), Elsevier 2011 [contents] - [i10]Edward Grefenstette, Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke, Stephen Pulman:
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. CoRR abs/1101.0309 (2011) - [i9]Bob Coecke, Robert W. Spekkens:
Picturing classical and quantum Bayesian inference. CoRR abs/1102.2368 (2011) - 2010
- [j5]Bob Coecke, Simon Perdrix:
Environment and classical channels in categorical quantum mechanics. Log. Methods Comput. Sci. 8(4) (2010) - [c20]Bob Coecke, Simon Perdrix:
Environment and Classical Channels in Categorical Quantum Mechanics. CSL 2010: 230-244 - [c19]Bob Coecke, Aleks Kissinger
The Compositional Structure of Multipartite Quantum Entanglement. ICALP (2) 2010: 297-308 - [c18]Bob Coecke, Bill Edwards:
Three qubit entanglement within graphical Z/X-calculus. HPC 2010: 22-33 - [c17]Bob Coecke, Aleks Kissinger, Alex Merry, Shibdas Roy:
The GHZ/W-calculus contains rational arithmetic. HPC 2010: 34-48 - [e1]Farid M. Ablayev
Proceedings CSR 2010 Workshop on High Productivity Computations, HPC 2010, Kazan, Russia, June 21-22, 2010. EPTCS 52, 2010 [contents] - [i8]Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark:
Mathematical Foundations for a Compositional Distributional Model of Meaning. CoRR abs/1003.4394 (2010)
2000 – 2009
- 2009
- [c16]Bob Coecke, Prakash Panangaden, Peter Selinger:
Preface. QPL@MFPS 2009: 1-2 - [c15]Bob Coecke, Bill Edwards, Robert W. Spekkens:
Phase Groups and the Origin of Non-locality for Qubits. QPL@MFPS 2009: 15-36 - [c14]Bob Coecke, Quanlong Wang, Baoshan Wang, Yongjun Wang, Qiye Zhang:
Graphical Calculus for Quantum Key Distribution (Extended Abstract). QPL@MFPS 2009: 231-249 - [i7]Bob Coecke, Ross Duncan:
Interacting Quantum Observables: Categorical Algebra and Diagrammatics. CoRR abs/0906.4725 (2009) - [i6]Samson Abramsky, Bob Coecke:
Abstract Physical Traces. CoRR abs/0910.3144 (2009) - 2008
- [c13]Bob Coecke, Ross Duncan
Interacting Quantum Observables. ICALP (2) 2008: 298-310 - [c12]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. QPL/DCM@ICALP 2008: 1-2 - [c11]Bob Coecke, Bill Edwards:
Toy Quantum Categories (Extended Abstract). QPL/DCM@ICALP 2008: 29-40 - [c10]Bob Coecke, Simon Perdrix, Éric Oliver Paquette:
Bases in Diagrammatic Quantum Protocols. MFPS 2008: 131-152 - 2007
- [j4]Samson Abramsky, Bob Coecke:
Physics from Computer Science: a Position Statement. Int. J. Unconv. Comput. 3(3): 179-197 (2007) - [j3]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Epistemic Actions as Resources. J. Log. Comput. 17(3): 555-585 (2007) - [c9]Bob Coecke:
Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic. AAAI Spring Symposium: Quantum Interaction 2007: 31-38 - 2006
- [c8]Bob Coecke:
Axiomatic Description of Mixed States From Selinger's CPM-construction. QPL 2006: 3-13 - [c7]Bob Coecke, Éric Oliver Paquette:
POVMs and Naimark's Theorem Without Sums. QPL 2006: 15-31 - 2005
- [c6]Bob Coecke:
De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure. QPL 2005: 49-72 - [c5]Bob Coecke:
Strongly Compact Closed Semantics. MFPS 2005: 331-340 - [i5]Samson Abramsky, Bob Coecke:
Discrete classical vs. continuous quantum data in abstract quantum mechanics. Spatial Representation 2005 - 2004
- [c4]Samson Abramsky
A Categorical Semantics of Quantum Protocols. LICS 2004: 415-425 - [c3]Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
Algebra and Sequent Calculus for Epistemic Actions. LCMAS 2004: 27-52 - [p1]Bob Coecke, David J. Moore, Sonja Smets:
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples. Logic, Epistemology, and the Unity of Science 2004: 527-555 - [i4]Bob Coecke:
The logic of entanglement. CoRR quant-ph/0402014 (2004) - [i3]Samson Abramsky, Bob Coecke:
A categorical semantics of quantum protocols. CoRR quant-ph/0402130 (2004) - 2003
- [c2]Bob Coecke:
Entropic Geometry from Logic. MFPS 2003: 39-53 - [i2]Bob Coecke, Keye Martin:
Partiality in physics. CoRR quant-ph/0312044 (2003) - 2002
- [j2]Bob Coecke:
Quantum Logic in Intuitionistic Perspective. Stud Logica 70(3): 411-440 (2002) - [j1]Bob Coecke:
Disjunctive Quantum Logic in Dynamic Perspective. Stud Logica 71(1): 47-56 (2002) - [c1]Samson Abramsky
Physical Traces: Quantum vs. Classical Information Processing. CTCS 2002: 1-22 - [i1]Samson Abramsky, Bob Coecke:
Physical Traces: Quantum vs. Classical Information Processing. CoRR cs.CG/0207057 (2002)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: