Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Bob Coecke
@article{DBLP:journals/tiis/ZhangTJCCC24, author = {Yu Zhang and Martijn Tennekes and Tim J. A. de Jong and Lyana Curier and Bob Coecke and Min Chen}, title = {Simulation-based Optimization of User Interfaces for Quality-assuring Machine Learning Model Predictions}, journal = {{ACM} Trans. Interact. Intell. Syst.}, volume = {14}, number = {1}, pages = {1:1--1:32}, year = {2024}, url = {https://doi.org/10.1145/3594552}, doi = {10.1145/3594552}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tiis/ZhangTJCCC24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jair/LorenzPMKC23, author = {Robin Lorenz and Anna Pearson and Konstantinos Meichanetzidis and Dimitri Kartsaklis and Bob Coecke}, title = {{QNLP} in Practice: Running Compositional Models of Meaning on a Quantum Computer}, journal = {J. Artif. Intell. Res.}, volume = {76}, pages = {1305--1342}, year = {2023}, url = {https://doi.org/10.1613/jair.1.14329}, doi = {10.1613/JAIR.1.14329}, timestamp = {Mon, 08 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jair/LorenzPMKC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/qmi/MeichanetzidisTFC23, author = {Konstantinos Meichanetzidis and Alexis Toumi and Giovanni de Felice and Bob Coecke}, title = {Grammar-aware sentence classification on quantum computers}, journal = {Quantum Mach. Intell.}, volume = {5}, number = {1}, pages = {1--16}, year = {2023}, url = {https://doi.org/10.1007/s42484-023-00097-1}, doi = {10.1007/S42484-023-00097-1}, timestamp = {Thu, 09 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/qmi/MeichanetzidisTFC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/PoorWSYYC23, author = {Boldizs{\'{a}}r Po{\'{o}}r and Quanlong Wang and Razin A. Shaikh and Lia Yeh and Richie Yeung and Bob Coecke}, title = {Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus}, booktitle = {{LICS}}, pages = {1--14}, year = {2023}, url = {https://doi.org/10.1109/LICS56636.2023.10175672}, doi = {10.1109/LICS56636.2023.10175672}, timestamp = {Thu, 20 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lics/PoorWSYYC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qce/DundarCoeckeYPPWCKGC23, author = {Selma D{\"{u}}ndar{-}Coecke and Lia Yeh and Caterina Puca and Sieglinde M.{-}L. Pfaendler and Muhammad Hamza Waseem and Thomas Cervoni and Aleks Kissinger and Stefano Gogioso and Bob Coecke}, editor = {Brian La Cour and Lia Yeh and Marek Osinski}, title = {Quantum Picturalism: Learning Quantum Theory in High School}, booktitle = {{IEEE} International Conference on Quantum Computing and Engineering, {QCE} 2023, Bellevue, WA, USA, September 17-22, 2023}, pages = {21--32}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/QCE57702.2023.20321}, doi = {10.1109/QCE57702.2023.20321}, timestamp = {Fri, 15 Dec 2023 20:24:40 +0100}, biburl = {https://dblp.org/rec/conf/qce/DundarCoeckeYPPWCKGC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2306-02114, author = {Giovanni de Felice and Razin A. Shaikh and Boldizs{\'{a}}r Po{\'{o}}r and Lia Yeh and Quanlong Wang and Bob Coecke}, editor = {Shane Mansfield and Beno{\^{\i}}t Valiron and Vladimir Zamdzhiev}, title = {Light-Matter Interaction in the {ZXW} Calculus}, booktitle = {Proceedings of the Twentieth International Conference on Quantum Physics and Logic, {QPL} 2023, Paris, France, 17-21st July 2023}, series = {{EPTCS}}, volume = {384}, pages = {20--46}, year = {2023}, url = {https://doi.org/10.4204/EPTCS.384.2}, doi = {10.4204/EPTCS.384.2}, timestamp = {Wed, 25 Oct 2023 16:09:20 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-02114.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-10595, author = {Vincent Wang{-}Mascianica and Jonathon Liu and Bob Coecke}, title = {Distilling Text into Circuits}, journal = {CoRR}, volume = {abs/2301.10595}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.10595}, doi = {10.48550/ARXIV.2301.10595}, eprinttype = {arXiv}, eprint = {2301.10595}, timestamp = {Thu, 26 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-10595.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2303-03163, author = {Bob Coecke}, title = {Basic ZX-calculus for students and professionals}, journal = {CoRR}, volume = {abs/2303.03163}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2303.03163}, doi = {10.48550/ARXIV.2303.03163}, eprinttype = {arXiv}, eprint = {2303.03163}, timestamp = {Thu, 16 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2303-03163.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-14461, author = {Caterina Puca and Amar Hadzihasanovic and Fabrizio Genovese and Bob Coecke}, title = {Obstructions to Compositionality}, journal = {CoRR}, volume = {abs/2307.14461}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.14461}, doi = {10.48550/ARXIV.2307.14461}, eprinttype = {arXiv}, eprint = {2307.14461}, timestamp = {Tue, 01 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-14461.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2311-17892, author = {Jonathon Liu and Razin A. Shaikh and Benjamin Rodatz and Richie Yeung and Bob Coecke}, title = {A Pipeline For Discourse Circuits From {CCG}}, journal = {CoRR}, volume = {abs/2311.17892}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2311.17892}, doi = {10.48550/ARXIV.2311.17892}, eprinttype = {arXiv}, eprint = {2311.17892}, timestamp = {Tue, 05 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2311-17892.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CoeckeHKW22, author = {Bob Coecke and Dominic Horsman and Aleks Kissinger and Quanlong Wang}, title = {Kindergarden quantum mechanics graduates \emph{...or how {I} learned to stop gluing {LEGO} together and love the ZX-calculus}}, journal = {Theor. Comput. Sci.}, volume = {897}, pages = {1--22}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2021.07.024}, doi = {10.1016/J.TCS.2021.07.024}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/CoeckeHKW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2208-10281, author = {Muhammad Hamza Waseem and Jonathon Liu and Vincent Wang{-}Mascianica and Bob Coecke}, editor = {Michael Moortgat and Gijs Wijnholds}, title = {Language-independence of DisCoCirc's Text Circuits: English and Urdu}, booktitle = {Proceedings End-to-End Compositional Models of Vector-Based Semantics, E2ECOMPVEC@ESSLLI 2022, {NUI} Galway, Ireland, 15-16 August 2022}, series = {{EPTCS}}, volume = {366}, pages = {50--60}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.366.7}, doi = {10.4204/EPTCS.366.7}, timestamp = {Sat, 15 Oct 2022 11:57:01 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-10281.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2204-12985, author = {Giovanni de Felice and Bob Coecke}, editor = {Stefano Gogioso and Matty Hoban}, title = {Quantum Linear Optics via String Diagrams}, booktitle = {Proceedings 19th International Conference on Quantum Physics and Logic, {QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022}, series = {{EPTCS}}, volume = {394}, pages = {83--100}, year = {2022}, url = {https://doi.org/10.4204/EPTCS.394.6}, doi = {10.4204/EPTCS.394.6}, timestamp = {Fri, 22 Dec 2023 11:34:29 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2204-12985.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/quantum/SelbySC21, author = {John H. Selby and Carlo Maria Scandolo and Bob Coecke}, title = {Reconstructing quantum theory from diagrammatic postulates}, journal = {Quantum}, volume = {5}, pages = {445}, year = {2021}, url = {https://doi.org/10.22331/q-2021-04-28-445}, doi = {10.22331/Q-2021-04-28-445}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/quantum/SelbySC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tiis/ZhangCC21, author = {Yu Zhang and Bob Coecke and Min Chen}, title = {{MI3:} Machine-initiated Intelligent Interaction for Interactive Classification and Data Reconstruction}, journal = {{ACM} Trans. Interact. Intell. Syst.}, volume = {11}, number = {3-4}, pages = {18:1--18:34}, year = {2021}, url = {https://doi.org/10.1145/3412848}, doi = {10.1145/3412848}, timestamp = {Tue, 04 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tiis/ZhangCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2107-06820, author = {Razin A. Shaikh and Lia Yeh and Benjamin Rodatz and Bob Coecke}, editor = {Kohei Kishida}, title = {Composing Conversational Negation}, booktitle = {Proceedings of the Fourth International Conference on Applied Category Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021}, series = {{EPTCS}}, volume = {372}, pages = {352--367}, year = {2021}, url = {https://doi.org/10.4204/EPTCS.372.25}, doi = {10.4204/EPTCS.372.25}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-06820.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-10984, author = {Bob Coecke and Dominic Horsman and Aleks Kissinger and Quanlong Wang}, title = {Kindergarden quantum mechanics graduates (...or how {I} learned to stop gluing {LEGO} together and love the ZX-calculus)}, journal = {CoRR}, volume = {abs/2102.10984}, year = {2021}, url = {https://arxiv.org/abs/2102.10984}, eprinttype = {arXiv}, eprint = {2102.10984}, timestamp = {Wed, 24 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-10984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-12846, author = {Robin Lorenz and Anna Pearson and Konstantinos Meichanetzidis and Dimitri Kartsaklis and Bob Coecke}, title = {{QNLP} in Practice: Running Compositional Models of Meaning on a Quantum Computer}, journal = {CoRR}, volume = {abs/2102.12846}, year = {2021}, url = {https://arxiv.org/abs/2102.12846}, eprinttype = {arXiv}, eprint = {2102.12846}, timestamp = {Tue, 02 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-12846.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2104-01129, author = {Yu Zhang and Martijn Tennekes and Tim J. A. de Jong and Lyana Curier and Bob Coecke and Min Chen}, title = {Using Simulation to Aid the Design and Optimization of Intelligent User Interfaces for Quality Assurance Processes in Machine Learning}, journal = {CoRR}, volume = {abs/2104.01129}, year = {2021}, url = {https://arxiv.org/abs/2104.01129}, eprinttype = {arXiv}, eprint = {2104.01129}, timestamp = {Wed, 26 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2104-01129.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-07485, author = {Bob Coecke and Vincent Wang}, title = {Grammar Equations}, journal = {CoRR}, volume = {abs/2106.07485}, year = {2021}, url = {https://arxiv.org/abs/2106.07485}, eprinttype = {arXiv}, eprint = {2106.07485}, timestamp = {Wed, 16 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-07485.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-16061, author = {Camilo Miguel Signorelli and Quanlong Wang and Bob Coecke}, title = {Reasoning about conscious experience with axiomatic and graphical mathematics}, journal = {CoRR}, volume = {abs/2106.16061}, year = {2021}, url = {https://arxiv.org/abs/2106.16061}, eprinttype = {arXiv}, eprint = {2106.16061}, timestamp = {Mon, 05 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-16061.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2107-06776, author = {Bob Coecke and Giovanni de Felice and Konstantinos Meichanetzidis and Alexis Toumi}, title = {How to make qubits speak}, journal = {CoRR}, volume = {abs/2107.06776}, year = {2021}, url = {https://arxiv.org/abs/2107.06776}, eprinttype = {arXiv}, eprint = {2107.06776}, timestamp = {Thu, 22 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2107-06776.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-06554, author = {Vincent Wang{-}Mascianica and Bob Coecke}, title = {Talking Space: inference from spatial linguistic meanings}, journal = {CoRR}, volume = {abs/2109.06554}, year = {2021}, url = {https://arxiv.org/abs/2109.06554}, eprinttype = {arXiv}, eprint = {2109.06554}, timestamp = {Tue, 21 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-06554.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-04236, author = {Dimitri Kartsaklis and Ian Fan and Richie Yeung and Anna Pearson and Robin Lorenz and Alexis Toumi and Giovanni de Felice and Konstantinos Meichanetzidis and Stephen Clark and Bob Coecke}, title = {lambeq: An Efficient High-Level Python Library for Quantum {NLP}}, journal = {CoRR}, volume = {abs/2110.04236}, year = {2021}, url = {https://arxiv.org/abs/2110.04236}, eprinttype = {arXiv}, eprint = {2110.04236}, timestamp = {Thu, 21 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-04236.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-05327, author = {Bob Coecke}, title = {Compositionality as we see it, everywhere around us}, journal = {CoRR}, volume = {abs/2110.05327}, year = {2021}, url = {https://arxiv.org/abs/2110.05327}, eprinttype = {arXiv}, eprint = {2110.05327}, timestamp = {Mon, 25 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-05327.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2111-06741, author = {Eduardo Reck Miranda and Richie Yeung and Anna Pearson and Konstantinos Meichanetzidis and Bob Coecke}, title = {A Quantum Natural Language Processing Approach to Musical Intelligence}, journal = {CoRR}, volume = {abs/2111.06741}, year = {2021}, url = {https://arxiv.org/abs/2111.06741}, eprinttype = {arXiv}, eprint = {2111.06741}, timestamp = {Tue, 16 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2111-06741.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/CoeckeM20, author = {Bob Coecke and Konstantinos Meichanetzidis}, title = {Meaning Updating of Density Matrices}, journal = {{FLAP}}, volume = {7}, number = {5}, pages = {745--770}, year = {2020}, url = {http://collegepublications.co.uk/ifcolog/?00041}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/CoeckeM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-2005-04147, author = {Konstantinos Meichanetzidis and Stefano Gogioso and Giovanni de Felice and Nicol{\`{o}} Chiappori and Alexis Toumi and Bob Coecke}, editor = {Beno{\^{\i}}t Valiron and Shane Mansfield and Pablo Arrighi and Prakash Panangaden}, title = {Quantum Natural Language Processing on Near-Term Quantum Computers}, booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic, {QPL} 2020, Paris, France, June 2 - 6, 2020}, series = {{EPTCS}}, volume = {340}, pages = {213--229}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.340.11}, doi = {10.4204/EPTCS.340.11}, timestamp = {Mon, 29 Nov 2021 16:32:05 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2005-04147.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1910-06818, author = {Anthony Munson and Bob Coecke and Quanlong Wang}, editor = {Beno{\^{\i}}t Valiron and Shane Mansfield and Pablo Arrighi and Prakash Panangaden}, title = {AND-gates in ZX-calculus: Spider Nest Identities and QBC-completeness}, booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic, {QPL} 2020, Paris, France, June 2 - 6, 2020}, series = {{EPTCS}}, volume = {340}, pages = {230--255}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.340.12}, doi = {10.4204/EPTCS.340.12}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1910-06818.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-2004-14750, editor = {Bob Coecke and Matthew Leifer}, title = {Proceedings 16th International Conference on Quantum Physics and Logic, {QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019}, series = {{EPTCS}}, volume = {318}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.318}, doi = {10.4204/EPTCS.318}, timestamp = {Fri, 03 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2004-14750.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-2009-06334, editor = {John Baez and Bob Coecke}, title = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of Oxford, UK, 15-19 July 2019}, series = {{EPTCS}}, volume = {323}, year = {2020}, url = {https://doi.org/10.4204/EPTCS.323}, doi = {10.4204/EPTCS.323}, timestamp = {Wed, 04 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2009-06334.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-00862, author = {Bob Coecke and Konstantinos Meichanetzidis}, title = {Meaning updating of density matrices}, journal = {CoRR}, volume = {abs/2001.00862}, year = {2020}, url = {http://arxiv.org/abs/2001.00862}, eprinttype = {arXiv}, eprint = {2001.00862}, timestamp = {Mon, 13 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-00862.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-03755, author = {Bob Coecke and Giovanni de Felice and Konstantinos Meichanetzidis and Alexis Toumi}, title = {Foundations for Near-Term Quantum Natural Language Processing}, journal = {CoRR}, volume = {abs/2012.03755}, year = {2020}, url = {https://arxiv.org/abs/2012.03755}, eprinttype = {arXiv}, eprint = {2012.03755}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-03755.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-03756, author = {Konstantinos Meichanetzidis and Alexis Toumi and Giovanni de Felice and Bob Coecke}, title = {Grammar-Aware Question-Answering on Quantum Computers}, journal = {CoRR}, volume = {abs/2012.03756}, year = {2020}, url = {https://arxiv.org/abs/2012.03756}, eprinttype = {arXiv}, eprint = {2012.03756}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-03756.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/PinzaniGC19, author = {Nicola Pinzani and Stefano Gogioso and Bob Coecke}, title = {Categorical Semantics for Time Travel}, booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019}, pages = {1--20}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/LICS.2019.8785664}, doi = {10.1109/LICS.2019.8785664}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/lics/PinzaniGC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qi/2018, editor = {Bob Coecke and Ariane Lambert{-}Mogiliansky}, title = {Quantum Interaction - 11th International Conference, {QI} 2018, Nice, France, September 3-5, 2018, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {11690}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-35895-2}, doi = {10.1007/978-3-030-35895-2}, isbn = {978-3-030-35894-5}, timestamp = {Fri, 22 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qi/2018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1904-03478, author = {Bob Coecke}, title = {The Mathematics of Text Structure}, journal = {CoRR}, volume = {abs/1904.03478}, year = {2019}, url = {http://arxiv.org/abs/1904.03478}, eprinttype = {arXiv}, eprint = {1904.03478}, timestamp = {Wed, 24 Apr 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1904-03478.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlm/BankovaCLM18, author = {Dea Bankova and Bob Coecke and Martha Lewis and Dan Marsden}, title = {Graded hyponymy for compositional distributional semantics}, journal = {J. Lang. Model.}, volume = {6}, number = {2}, pages = {225--260}, year = {2018}, url = {https://doi.org/10.15398/jlm.v6i2.230}, doi = {10.15398/JLM.V6I2.230}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlm/BankovaCLM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CoeckeGLMT18, author = {Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden and Alexis Toumi}, title = {Generalized relations in linguistics {\&} cognition}, journal = {Theor. Comput. Sci.}, volume = {752}, pages = {104--115}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.03.008}, doi = {10.1016/J.TCS.2018.03.008}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CoeckeGLMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/diagrams/CoeckeK18, author = {Bob Coecke and Aleks Kissinger}, editor = {Peter Chapman and Gem Stapleton and Amirouche Moktefi and Sarah P{\'{e}}rez{-}Kriz and Francesco Bellucci}, title = {Picturing Quantum Processes - {A} First Course on Quantum Theory and Diagrammatic Reasoning}, booktitle = {Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10871}, pages = {28--31}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91376-6\_6}, doi = {10.1007/978-3-319-91376-6\_6}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/diagrams/CoeckeK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/CoeckeW18, author = {Bob Coecke and Quanlong Wang}, editor = {Jarkko Kari and Irek Ulidowski}, title = {ZX-Rules for 2-Qubit Clifford+T Quantum Circuits}, booktitle = {Reversible Computation - 10th International Conference, {RC} 2018, Leicester, UK, September 12-14, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11106}, pages = {144--161}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99498-7\_10}, doi = {10.1007/978-3-319-99498-7\_10}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/rc/CoeckeW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1811-03277, author = {Bob Coecke and Giovanni de Felice and Dan Marsden and Alexis Toumi}, editor = {Martha Lewis and Bob Coecke and Jules Hedges and Dimitri Kartsaklis and Dan Marsden}, title = {Towards Compositional Distributional Discourse Analysis}, booktitle = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018}, series = {{EPTCS}}, volume = {283}, pages = {1--12}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.283.1}, doi = {10.4204/EPTCS.283.1}, timestamp = {Mon, 26 Oct 2020 08:44:06 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-03277.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1811-05770, author = {Bob Coecke and Martha Lewis and Dan Marsden}, editor = {Martha Lewis and Bob Coecke and Jules Hedges and Dimitri Kartsaklis and Dan Marsden}, title = {Internal Wiring of Cartesian Verbs and Prepositions}, booktitle = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018}, series = {{EPTCS}}, volume = {283}, pages = {75--88}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.283.6}, doi = {10.4204/EPTCS.283.6}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-05770.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1805-12088, author = {Stefano Gogioso and Dan Marsden and Bob Coecke}, editor = {Peter Selinger and Giulio Chiribella}, title = {Symmetric Monoidal Structure with Local Character is a Property}, booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic, {QPL} 2018, Halifax, Canada, 3-7th June 2018}, series = {{EPTCS}}, volume = {287}, pages = {179--190}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.287.10}, doi = {10.4204/EPTCS.287.10}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1805-12088.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1802-09737, editor = {Bob Coecke and Aleks Kissinger}, title = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.266}, doi = {10.4204/EPTCS.266}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1802-09737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1811-02701, editor = {Martha Lewis and Bob Coecke and Jules Hedges and Dimitri Kartsaklis and Dan Marsden}, title = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018}, series = {{EPTCS}}, volume = {283}, year = {2018}, url = {https://doi.org/10.4204/EPTCS.283}, doi = {10.4204/EPTCS.283}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-02701.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/cu/CK2017, author = {Bob Coecke and Aleks Kissinger}, title = {Picturing Quantum Processes: {A} First Course in Quantum Theory and Diagrammatic Reasoning}, publisher = {Cambridge University Press}, year = {2017}, url = {https://doi.org/10.1017/9781316219317}, doi = {10.1017/9781316219317}, isbn = {9781316219317}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/cu/CK2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entropy/SelbyC17, author = {John H. Selby and Bob Coecke}, title = {Leaks: Quantum, Classical, Intermediate and More}, journal = {Entropy}, volume = {19}, number = {4}, pages = {174}, year = {2017}, url = {https://doi.org/10.3390/e19040174}, doi = {10.3390/E19040174}, timestamp = {Mon, 12 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entropy/SelbyC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/CoeckeGLM17, author = {Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden}, editor = {Juliette Kennedy and Ruy J. G. B. de Queiroz}, title = {Generalized Relations in Linguistics and Cognition}, booktitle = {Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10388}, pages = {256--270}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55386-2\_18}, doi = {10.1007/978-3-662-55386-2\_18}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wollic/CoeckeGLM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1701-07400, author = {Bob Coecke and John H. Selby and Sean Tull}, editor = {Bob Coecke and Aleks Kissinger}, title = {Two Roads to Classicality}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {104--118}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.7}, doi = {10.4204/EPTCS.266.7}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1701-07400.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00700, author = {Maaike Zwart and Bob Coecke}, editor = {Bob Coecke and Aleks Kissinger}, title = {Double Dilation {\(\not =\)} Double Mixing (extended abstract)}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {133--146}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.9}, doi = {10.4204/EPTCS.266.9}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00700.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1803-00708, author = {Bob Coecke and Fabrizio Genovese and Stefano Gogioso and Dan Marsden and Robin Piedeleu}, editor = {Bob Coecke and Aleks Kissinger}, title = {Uniqueness of Composition in Quantum Theory and Linguistics}, booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic, {QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017}, series = {{EPTCS}}, volume = {266}, pages = {249--257}, year = {2017}, url = {https://doi.org/10.4204/EPTCS.266.17}, doi = {10.4204/EPTCS.266.17}, timestamp = {Sat, 28 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1803-00708.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/Coecke17, author = {Bob Coecke}, editor = {S. Barry Cooper and Mariya Ivanova Soskova}, title = {From Quantum Foundations via Natural Language Meaning to a Theory of Everything}, booktitle = {The Incomputable: Journeys Beyond the Turing Barrier}, series = {Theory and Applications of Computability}, pages = {63--80}, publisher = {Springer International Publishing}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-43669-2\_4}, doi = {10.1007/978-3-319-43669-2\_4}, timestamp = {Thu, 29 Jun 2017 10:02:07 +0200}, biburl = {https://dblp.org/rec/books/daglib/p/Coecke17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qi/2016, editor = {Jose Acacio de Barros and Bob Coecke and Emmanuel M. Pothos}, title = {Quantum Interaction - 10th International Conference, {QI} 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10106}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-52289-0}, doi = {10.1007/978-3-319-52289-0}, isbn = {978-3-319-52288-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qi/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BoltCGLMP17, author = {Joe Bolt and Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden and Robin Piedeleu}, title = {Interacting Conceptual Spaces {I} : Grammatical Composition of Concepts}, journal = {CoRR}, volume = {abs/1703.08314}, year = {2017}, url = {http://arxiv.org/abs/1703.08314}, eprinttype = {arXiv}, eprint = {1703.08314}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BoltCGLMP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CoeckeH16, author = {Bob Coecke and Chris Heunen}, title = {Pictures of complete positivity in arbitrary dimension}, journal = {Inf. Comput.}, volume = {250}, pages = {50--58}, year = {2016}, url = {https://doi.org/10.1016/j.ic.2016.02.007}, doi = {10.1016/J.IC.2016.02.007}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/CoeckeH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/CoeckeFS16, author = {Bob Coecke and Tobias Fritz and Robert W. Spekkens}, title = {A mathematical theory of resources}, journal = {Inf. Comput.}, volume = {250}, pages = {59--86}, year = {2016}, url = {https://doi.org/10.1016/j.ic.2016.02.008}, doi = {10.1016/J.IC.2016.02.008}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iandc/CoeckeFS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/SadrzadehCC16, author = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke}, title = {The Frobenius anatomy of word meanings {II:} possessive relative pronouns}, journal = {J. Log. Comput.}, volume = {26}, number = {2}, pages = {785--815}, year = {2016}, url = {https://doi.org/10.1093/logcom/exu027}, doi = {10.1093/LOGCOM/EXU027}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/SadrzadehCC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ngc/Coecke16, author = {Bob Coecke}, title = {Terminality Implies No-signalling ...and Much More Than That}, journal = {New Gener. Comput.}, volume = {34}, number = {1-2}, pages = {69--85}, year = {2016}, url = {https://doi.org/10.1007/s00354-016-0201-6}, doi = {10.1007/S00354-016-0201-6}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ngc/Coecke16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/qip/CoeckeHK16, author = {Bob Coecke and Chris Heunen and Aleks Kissinger}, title = {Categories of quantum and classical channels}, journal = {Quantum Inf. Process.}, volume = {15}, number = {12}, pages = {5179--5209}, year = {2016}, url = {https://doi.org/10.1007/s11128-014-0837-4}, doi = {10.1007/S11128-014-0837-4}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/qip/CoeckeHK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qi/Al-MehairiCL16, author = {Yaared Al{-}Mehairi and Bob Coecke and Martha Lewis}, editor = {Jose Acacio de Barros and Bob Coecke and Emmanuel M. Pothos}, title = {Categorical Compositional Cognition}, booktitle = {Quantum Interaction - 10th International Conference, {QI} 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10106}, pages = {122--134}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-52289-0\_10}, doi = {10.1007/978-3-319-52289-0\_10}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qi/Al-MehairiCL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/AshoushC16, author = {Daniela Ashoush and Bob Coecke}, editor = {Dimitrios Kartsaklis and Martha Lewis and Laura Rimell}, title = {Dual Density Operators and Natural Language Meaning}, booktitle = {Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016}, series = {{EPTCS}}, volume = {221}, pages = {1--10}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.221.1}, doi = {10.4204/EPTCS.221.1}, timestamp = {Mon, 26 Oct 2020 08:44:05 +0100}, biburl = {https://dblp.org/rec/journals/corr/AshoushC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/BoltCGLMP16, author = {Josef Bolt and Bob Coecke and Fabrizio Genovese and Martha Lewis and Daniel Marsden and Robin Piedeleu}, editor = {Dimitrios Kartsaklis and Martha Lewis and Laura Rimell}, title = {Interacting Conceptual Spaces}, booktitle = {Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016}, series = {{EPTCS}}, volume = {221}, pages = {11--19}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.221.2}, doi = {10.4204/EPTCS.221.2}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BoltCGLMP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/ZengC16, author = {William Zeng and Bob Coecke}, editor = {Dimitrios Kartsaklis and Martha Lewis and Laura Rimell}, title = {Quantum Algorithms for Compositional Natural Language Processing}, booktitle = {Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016}, series = {{EPTCS}}, volume = {221}, pages = {67--75}, year = {2016}, url = {https://doi.org/10.4204/EPTCS.221.8}, doi = {10.4204/EPTCS.221.8}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZengC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BankovaCLM16, author = {Desislava Bankova and Bob Coecke and Martha Lewis and Daniel Marsden}, title = {Graded Entailment for Compositional Distributional Semantics}, journal = {CoRR}, volume = {abs/1601.04908}, year = {2016}, url = {http://arxiv.org/abs/1601.04908}, eprinttype = {arXiv}, eprint = {1601.04908}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BankovaCLM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LewisC16, author = {Martha Lewis and Bob Coecke}, title = {Harmonic Grammar in a DisCo Model of Meaning}, journal = {CoRR}, volume = {abs/1602.02089}, year = {2016}, url = {http://arxiv.org/abs/1602.02089}, eprinttype = {arXiv}, eprint = {1602.02089}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LewisC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Coecke16, author = {Bob Coecke}, title = {From quantum foundations via natural language meaning to a theory of everything}, journal = {CoRR}, volume = {abs/1602.07618}, year = {2016}, url = {http://arxiv.org/abs/1602.07618}, eprinttype = {arXiv}, eprint = {1602.07618}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Coecke16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Al-MehairiCL16, author = {Yaared Al{-}Mehairi and Bob Coecke and Martha Lewis}, title = {Compositional Distributional Cognition}, journal = {CoRR}, volume = {abs/1608.03785}, year = {2016}, url = {http://arxiv.org/abs/1608.03785}, eprinttype = {arXiv}, eprint = {1608.03785}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Al-MehairiCL16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/PiedeleuKCS15, author = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh}, editor = {Lawrence S. Moss and Pawel Sobocinski}, title = {Open System Categorical Quantum Semantics in Natural Language Processing}, booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2015, June 24-26, 2015, Nijmegen, The Netherlands}, series = {LIPIcs}, volume = {35}, pages = {270--289}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.270}, doi = {10.4230/LIPICS.CALCO.2015.270}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/PiedeleuKCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qi/CoeckeL15, author = {Bob Coecke and Martha Lewis}, editor = {Harald Atmanspacher and Thomas Filk and Emmanuel M. Pothos}, title = {A Compositional Explanation of the 'Pet Fish' Phenomenon}, booktitle = {Quantum Interaction - 9th International Conference, {QI} 2015, Filzbach, Switzerland, July 15-17, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9535}, pages = {179--192}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28675-4\_14}, doi = {10.1007/978-3-319-28675-4\_14}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qi/CoeckeL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ttcs/BalkirSC15, author = {Esma Balkir and Mehrnoosh Sadrzadeh and Bob Coecke}, editor = {Mohammad Taghi Hajiaghayi and Mohammad Reza Mousavi}, title = {Distributional Sentence Entailment Using Density Matrices}, booktitle = {Topics in Theoretical Computer Science - The First {IFIP} {WG} 1.8 International Conference, {TTCS} 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9541}, pages = {1--22}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-28678-5\_1}, doi = {10.1007/978-3-319-28678-5\_1}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ttcs/BalkirSC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/PiedeleuKCS15, author = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh}, title = {Open System Categorical Quantum Semantics in Natural Language Processing}, journal = {CoRR}, volume = {abs/1502.00831}, year = {2015}, url = {http://arxiv.org/abs/1502.00831}, eprinttype = {arXiv}, eprint = {1502.00831}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/PiedeleuKCS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/BalkirSC15, author = {Esma Balkir and Mehrnoosh Sadrzadeh and Bob Coecke}, title = {Distributional Sentence Entailment Using Density Matrices}, journal = {CoRR}, volume = {abs/1506.06534}, year = {2015}, url = {http://arxiv.org/abs/1506.06534}, eprinttype = {arXiv}, eprint = {1506.06534}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/BalkirSC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CoeckeL15, author = {Bob Coecke and Martha Lewis}, title = {A Compositional Explanation of the Pet Fish Phenomenon}, journal = {CoRR}, volume = {abs/1509.06594}, year = {2015}, url = {http://arxiv.org/abs/1509.06594}, eprinttype = {arXiv}, eprint = {1509.06594}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/Coecke14, author = {Bob Coecke}, editor = {Franck van Breugel and Elham Kashefi and Catuscia Palamidessi and Jan Rutten}, title = {The Logic of Entanglement}, booktitle = {Horizons of the Mind. {A} Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8464}, pages = {250--267}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06880-0\_13}, doi = {10.1007/978-3-319-06880-0\_13}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Coecke14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/Coecke14, author = {Bob Coecke}, editor = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden}, title = {Terminality implies non-signalling}, booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL} 2014, Kyoto, Japan, 4-6th June 2014}, series = {{EPTCS}}, volume = {172}, pages = {27--35}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.172.3}, doi = {10.4204/EPTCS.172.3}, timestamp = {Thu, 14 Oct 2021 09:15:50 +0200}, biburl = {https://dblp.org/rec/journals/corr/Coecke14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2014lambek, editor = {Claudia Casadio and Bob Coecke and Michael Moortgat and Philip J. Scott}, title = {Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday}, series = {Lecture Notes in Computer Science}, volume = {8222}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54789-8}, doi = {10.1007/978-3-642-54789-8}, isbn = {978-3-642-54788-1}, timestamp = {Wed, 15 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/2014lambek.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/CoeckeH14, editor = {Bob Coecke and Matty J. Hoban}, title = {Proceedings of the 10th International Workshop on Quantum Physics and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013}, series = {{EPTCS}}, volume = {171}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.171}, doi = {10.4204/EPTCS.171}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeH14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/CoeckeHP14, editor = {Bob Coecke and Ichiro Hasuo and Prakash Panangaden}, title = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL} 2014, Kyoto, Japan, 4-6th June 2014}, series = {{EPTCS}}, volume = {172}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.172}, doi = {10.4204/EPTCS.172}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeHP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/KartsaklisSPC14, author = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman and Bob Coecke}, title = {Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras}, journal = {CoRR}, volume = {abs/1401.5980}, year = {2014}, url = {http://arxiv.org/abs/1401.5980}, eprinttype = {arXiv}, eprint = {1401.5980}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/KartsaklisSPC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SadrzadehCC14, author = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke}, title = {The Frobenius anatomy of word meanings {I:} subject and object relative pronouns}, journal = {CoRR}, volume = {abs/1404.5278}, year = {2014}, url = {http://arxiv.org/abs/1404.5278}, eprinttype = {arXiv}, eprint = {1404.5278}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SadrzadehCC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/SadrzadehCC14a, author = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke}, title = {The Frobenius anatomy of word meanings {II:} possessive relative pronouns}, journal = {CoRR}, volume = {abs/1406.4690}, year = {2014}, url = {http://arxiv.org/abs/1406.4690}, eprinttype = {arXiv}, eprint = {1406.4690}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/SadrzadehCC14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CoeckeFS14, author = {Bob Coecke and Tobias Fritz and Robert W. Spekkens}, title = {A mathematical theory of resources}, journal = {CoRR}, volume = {abs/1409.5531}, year = {2014}, url = {http://arxiv.org/abs/1409.5531}, eprinttype = {arXiv}, eprint = {1409.5531}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeFS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/apal/CoeckeGS13, author = {Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh}, title = {Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus}, journal = {Ann. Pure Appl. Log.}, volume = {164}, number = {11}, pages = {1079--1100}, year = {2013}, url = {https://doi.org/10.1016/j.apal.2013.05.009}, doi = {10.1016/J.APAL.2013.05.009}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/apal/CoeckeGS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BlakeyCMP13, author = {Ed Blakey and Bob Coecke and Michael W. Mislove and Dusko Pavlovic}, title = {Information Security as a Resource}, journal = {Inf. Comput.}, volume = {226}, pages = {1--2}, year = {2013}, url = {https://doi.org/10.1016/j.ic.2013.03.001}, doi = {10.1016/J.IC.2013.03.001}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BlakeyCMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/SadrzadehCC13, author = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke}, title = {The Frobenius anatomy of word meanings {I:} subject and object relative pronouns}, journal = {J. Log. Comput.}, volume = {23}, number = {6}, pages = {1293--1317}, year = {2013}, url = {https://doi.org/10.1093/logcom/ext044}, doi = {10.1093/LOGCOM/EXT044}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/SadrzadehCC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CoeckePV13, author = {Bob Coecke and Dusko Pavlovic and Jamie Vicary}, title = {A new description of orthogonal bases}, journal = {Math. Struct. Comput. Sci.}, volume = {23}, number = {3}, pages = {555--567}, year = {2013}, url = {https://doi.org/10.1017/S0960129512000047}, doi = {10.1017/S0960129512000047}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CoeckePV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/CoeckeHK13, author = {Bob Coecke and Chris Heunen and Aleks Kissinger}, editor = {Bob Coecke and Luke Ong and Prakash Panangaden}, title = {Compositional Quantum Logic}, booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7860}, pages = {21--36}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38164-5\_3}, doi = {10.1007/978-3-642-38164-5\_3}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/CoeckeHK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mol/ClarkCS13, author = {Stephen Clark and Bob Coecke and Mehrnoosh Sadrzadeh}, editor = {Andr{\'{a}}s Kornai and Marco Kuhlmann}, title = {The Frobenius Anatomy of Relative Pronouns}, booktitle = {Proceedings of the 13th Meeting on the Mathematics of Language, MoL 2013, Sofia, Bulgaria, August 9, 2013}, pages = {41--51}, publisher = {{ACL}}, year = {2013}, url = {https://aclanthology.org/W13-3005/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mol/ClarkCS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ox/13/Coecke13, author = {Bob Coecke}, editor = {Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette}, title = {An alternative Gospel of structure: order, composition, processes}, booktitle = {Quantum Physics and Linguistics - {A} Compositional, Diagrammatic Discourse}, pages = {1--21}, publisher = {Oxford University Press}, year = {2013}, url = {https://doi.org/10.1093/acprof:oso/9780199646296.003.0001}, doi = {10.1093/ACPROF:OSO/9780199646296.003.0001}, timestamp = {Fri, 08 May 2020 18:05:26 +0200}, biburl = {https://dblp.org/rec/books/ox/13/Coecke13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2013abramsky, editor = {Bob Coecke and Luke Ong and Prakash Panangaden}, title = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7860}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38164-5}, doi = {10.1007/978-3-642-38164-5}, isbn = {978-3-642-38163-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2013abramsky.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1302-0393, author = {Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh}, title = {Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus}, journal = {CoRR}, volume = {abs/1302.0393}, year = {2013}, url = {http://arxiv.org/abs/1302.0393}, eprinttype = {arXiv}, eprint = {1302.0393}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-0393.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-0556, author = {Stephen Clark and Bob Coecke and Edward Grefenstette and Stephen Pulman and Mehrnoosh Sadrzadeh}, title = {A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure}, journal = {CoRR}, volume = {abs/1305.0556}, year = {2013}, url = {http://arxiv.org/abs/1305.0556}, eprinttype = {arXiv}, eprint = {1305.0556}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-0556.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Coecke13, author = {Bob Coecke}, title = {An alternative Gospel of structure: order, composition, processes}, journal = {CoRR}, volume = {abs/1307.4038}, year = {2013}, url = {http://arxiv.org/abs/1307.4038}, eprinttype = {arXiv}, eprint = {1307.4038}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Coecke13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/synthese/CoeckeS12, author = {Bob Coecke and Robert W. Spekkens}, title = {Picturing classical and quantum Bayesian inference}, journal = {Synth.}, volume = {186}, number = {3}, pages = {651--696}, year = {2012}, url = {https://doi.org/10.1007/s11229-011-9917-5}, doi = {10.1007/S11229-011-9917-5}, timestamp = {Thu, 09 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/synthese/CoeckeS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/CoeckeDKW12, author = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang}, title = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics}, booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012}, pages = {245--254}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/LICS.2012.35}, doi = {10.1109/LICS.2012.35}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/CoeckeDKW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/CoeckeD12, author = {Bob Coecke and Ross Duncan}, editor = {Robert Gl{\"{u}}ck and Tetsuo Yokoyama}, title = {Tutorial: Graphical Calculus for Quantum Circuits}, booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {7581}, pages = {1--13}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-36315-3\_1}, doi = {10.1007/978-3-642-36315-3\_1}, timestamp = {Sun, 02 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/rc/CoeckeD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/CoeckeHK14, author = {Bob Coecke and Chris Heunen and Aleks Kissinger}, editor = {Ross Duncan and Prakash Panangaden}, title = {Categories of Quantum and Classical Channels (extended abstract)}, booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012, Brussels, Belgium, 10-12 October 2012}, series = {{EPTCS}}, volume = {158}, pages = {1--14}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.158.1}, doi = {10.4204/EPTCS.158.1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeHK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1203-4988, author = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang}, title = {Strong complementarity and non-locality in categorical quantum mechanics}, journal = {CoRR}, volume = {abs/1203.4988}, year = {2012}, url = {http://arxiv.org/abs/1203.4988}, eprinttype = {arXiv}, eprint = {1203.4988}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1203-4988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1204-3458, author = {Bob Coecke}, title = {The logic of quantum mechanics - Take {II}}, journal = {CoRR}, volume = {abs/1204.3458}, year = {2012}, url = {http://arxiv.org/abs/1204.3458}, eprinttype = {arXiv}, eprint = {1204.3458}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1204-3458.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computer/ChenTBJCES11, author = {Min Chen and Anne E. Trefethen and Ren{\'{e}} Ba{\~{n}}ares{-}Alc{\'{a}}ntara and Marina Jirotka and Bob Coecke and Thomas Ertl and Albrecht Schmidt}, title = {From Data Analysis and Visualization to Causality Discovery}, journal = {Computer}, volume = {44}, number = {10}, pages = {84--87}, year = {2011}, url = {https://doi.org/10.1109/MC.2011.313}, doi = {10.1109/MC.2011.313}, timestamp = {Wed, 12 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/computer/ChenTBJCES11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwcs/GrefenstetteSCC11, author = {Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman}, editor = {Johan Bos and Stephen Pulman}, title = {Concrete Sentence Spaces for Compositional Distributional Models of Meaning}, booktitle = {Proceedings of the Ninth International Conference on Computational Semantics, {IWCS} 2011, January 12-14, 2011, Oxford, {UK}}, publisher = {The Association for Computer Linguistics}, year = {2011}, url = {https://aclanthology.org/W11-0114/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwcs/GrefenstetteSCC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1110-3055, author = {Bob Coecke and Chris Heunen}, editor = {Bart Jacobs and Peter Selinger and Bas Spitters}, title = {Pictures of complete positivity in arbitrary dimension}, booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic, {QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011}, series = {{EPTCS}}, volume = {95}, pages = {27--35}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.95.4}, doi = {10.4204/EPTCS.95.4}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-3055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/LangC11, author = {Alex Lang and Bob Coecke}, editor = {Bart Jacobs and Peter Selinger and Bas Spitters}, title = {Trichromatic Open Digraphs for Understanding Qubits}, booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic, {QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011}, series = {{EPTCS}}, volume = {95}, pages = {193--209}, year = {2011}, url = {https://doi.org/10.4204/EPTCS.95.14}, doi = {10.4204/EPTCS.95.14}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LangC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:series/sapere/BishopNC13, author = {John Mark Bishop and Slawomir J. Nasuto and Bob Coecke}, editor = {Vincent C. M{\"{u}}ller}, title = {'Quantum Linguistics' and Searle's Chinese Room Argument}, booktitle = {Philosophy and Theory of Artificial Intelligence, {PT-AI} 2011, Thessaloniki, Greece, October 3-4, 2011, Proceedings}, series = {Studies in Applied Philosophy, Epistemology and Rational Ethics}, volume = {5}, pages = {17--28}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-31674-6\_2}, doi = {10.1007/978-3-642-31674-6\_2}, timestamp = {Fri, 06 Sep 2019 14:09:45 +0200}, biburl = {https://dblp.org/rec/series/sapere/BishopNC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qpl/2008, editor = {Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger}, title = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {1}, publisher = {Elsevier}, year = {2011}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/270/issue/1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qpl/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/qpl/2009, editor = {Bob Coecke and Prakash Panangaden and Peter Selinger}, title = {Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {2}, publisher = {Elsevier}, year = {2011}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/270/issue/2}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qpl/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1101-0309, author = {Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman}, title = {Concrete Sentence Spaces for Compositional Distributional Models of Meaning}, journal = {CoRR}, volume = {abs/1101.0309}, year = {2011}, url = {http://arxiv.org/abs/1101.0309}, eprinttype = {arXiv}, eprint = {1101.0309}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1101-0309.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1102-2368, author = {Bob Coecke and Robert W. Spekkens}, title = {Picturing classical and quantum Bayesian inference}, journal = {CoRR}, volume = {abs/1102.2368}, year = {2011}, url = {http://arxiv.org/abs/1102.2368}, eprinttype = {arXiv}, eprint = {1102.2368}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-2368.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1004-1598, author = {Bob Coecke and Simon Perdrix}, title = {Environment and classical channels in categorical quantum mechanics}, journal = {Log. Methods Comput. Sci.}, volume = {8}, number = {4}, year = {2010}, url = {https://doi.org/10.2168/LMCS-8(4:14)2012}, doi = {10.2168/LMCS-8(4:14)2012}, timestamp = {Thu, 25 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1004-1598.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/CoeckeP10, author = {Bob Coecke and Simon Perdrix}, editor = {Anuj Dawar and Helmut Veith}, title = {Environment and Classical Channels in Categorical Quantum Mechanics}, booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6247}, pages = {230--244}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15205-4\_20}, doi = {10.1007/978-3-642-15205-4\_20}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/csl/CoeckeP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CoeckeK10, author = {Bob Coecke and Aleks Kissinger}, editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis}, title = {The Compositional Structure of Multipartite Quantum Entanglement}, booktitle = {Automata, Languages and Programming, 37th International Colloquium, {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {6199}, pages = {297--308}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14162-1\_25}, doi = {10.1007/978-3-642-14162-1\_25}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/CoeckeK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1103-2811, author = {Bob Coecke and Bill Edwards}, editor = {Farid M. Ablayev and Bob Coecke and Alexander Vasiliev}, title = {Three qubit entanglement within graphical Z/X-calculus}, booktitle = {Proceedings {CSR} 2010 Workshop on High Productivity Computations, {HPC} 2010, Kazan, Russia, June 21-22, 2010}, series = {{EPTCS}}, volume = {52}, pages = {22--33}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.52.3}, doi = {10.4204/EPTCS.52.3}, timestamp = {Mon, 05 Feb 2024 20:19:07 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-2811.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1103-2812, author = {Bob Coecke and Aleks Kissinger and Alex Merry and Shibdas Roy}, editor = {Farid M. Ablayev and Bob Coecke and Alexander Vasiliev}, title = {The GHZ/W-calculus contains rational arithmetic}, booktitle = {Proceedings {CSR} 2010 Workshop on High Productivity Computations, {HPC} 2010, Kazan, Russia, June 21-22, 2010}, series = {{EPTCS}}, volume = {52}, pages = {34--48}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.52.4}, doi = {10.4204/EPTCS.52.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-2812.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1103-2268, editor = {Farid M. Ablayev and Bob Coecke and Alexander Vasiliev}, title = {Proceedings {CSR} 2010 Workshop on High Productivity Computations, {HPC} 2010, Kazan, Russia, June 21-22, 2010}, series = {{EPTCS}}, volume = {52}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.52}, doi = {10.4204/EPTCS.52}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1103-2268.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1003-4394, author = {Bob Coecke and Mehrnoosh Sadrzadeh and Stephen Clark}, title = {Mathematical Foundations for a Compositional Distributional Model of Meaning}, journal = {CoRR}, volume = {abs/1003.4394}, year = {2010}, url = {http://arxiv.org/abs/1003.4394}, eprinttype = {arXiv}, eprint = {1003.4394}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1003-4394.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckePS11, author = {Bob Coecke and Prakash Panangaden and Peter Selinger}, editor = {Bob Coecke and Prakash Panangaden and Peter Selinger}, title = {Preface}, booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {2}, pages = {1--2}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2011.01.019}, doi = {10.1016/J.ENTCS.2011.01.019}, timestamp = {Fri, 10 Mar 2023 13:14:38 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckePS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckeES11, author = {Bob Coecke and Bill Edwards and Robert W. Spekkens}, editor = {Bob Coecke and Prakash Panangaden and Peter Selinger}, title = {Phase Groups and the Origin of Non-locality for Qubits}, booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {2}, pages = {15--36}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2011.01.021}, doi = {10.1016/J.ENTCS.2011.01.021}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckeES11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckeWWWZ11, author = {Bob Coecke and Quanlong Wang and Baoshan Wang and Yongjun Wang and Qiye Zhang}, editor = {Bob Coecke and Prakash Panangaden and Peter Selinger}, title = {Graphical Calculus for Quantum Key Distribution (Extended Abstract)}, booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {2}, pages = {231--249}, publisher = {Elsevier}, year = {2009}, url = {https://doi.org/10.1016/j.entcs.2011.01.034}, doi = {10.1016/J.ENTCS.2011.01.034}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckeWWWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/CoeckeD09, author = {Bob Coecke and Ross Duncan}, title = {Interacting Quantum Observables: Categorical Algebra and Diagrammatics}, journal = {CoRR}, volume = {abs/0906.4725}, year = {2009}, url = {http://arxiv.org/abs/0906.4725}, eprinttype = {arXiv}, eprint = {0906.4725}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/CoeckeD09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0910-3144, author = {Samson Abramsky and Bob Coecke}, title = {Abstract Physical Traces}, journal = {CoRR}, volume = {abs/0910.3144}, year = {2009}, url = {http://arxiv.org/abs/0910.3144}, eprinttype = {arXiv}, eprint = {0910.3144}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0910-3144.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/CoeckeD08, author = {Bob Coecke and Ross Duncan}, editor = {Luca Aceto and Ivan Damg{\aa}rd and Leslie Ann Goldberg and Magn{\'{u}}s M. Halld{\'{o}}rsson and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Igor Walukiewicz}, title = {Interacting Quantum Observables}, booktitle = {Automata, Languages and Programming, 35th International Colloquium, {ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part {II} - Track {B:} Logic, Semantics, and Theory of Programming {\&} Track {C:} Security and Cryptography Foundations}, series = {Lecture Notes in Computer Science}, volume = {5126}, pages = {298--310}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70583-3\_25}, doi = {10.1007/978-3-540-70583-3\_25}, timestamp = {Fri, 27 Mar 2020 09:02:59 +0100}, biburl = {https://dblp.org/rec/conf/icalp/CoeckeD08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckeMPS11, author = {Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger}, editor = {Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger}, title = {Preface}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {1}, pages = {1--2}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2011.01.001}, doi = {10.1016/J.ENTCS.2011.01.001}, timestamp = {Fri, 10 Mar 2023 13:02:49 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckeMPS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckeE11, author = {Bob Coecke and Bill Edwards}, editor = {Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger}, title = {Toy Quantum Categories (Extended Abstract)}, booktitle = {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}, series = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {1}, pages = {29--40}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2011.01.004}, doi = {10.1016/J.ENTCS.2011.01.004}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckeE11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckePP08, author = {Bob Coecke and Simon Perdrix and {\'{E}}ric Oliver Paquette}, editor = {Andrej Bauer and Michael W. Mislove}, title = {Bases in Diagrammatic Quantum Protocols}, booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May 22-25, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {218}, pages = {131--152}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.10.009}, doi = {10.1016/J.ENTCS.2008.10.009}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckePP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijuc/AbramskyC07, author = {Samson Abramsky and Bob Coecke}, title = {Physics from Computer Science: a Position Statement}, journal = {Int. J. Unconv. Comput.}, volume = {3}, number = {3}, pages = {179--197}, year = {2007}, url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-3-number-3-2007/ijuc-3-3-p-179-197/}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijuc/AbramskyC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BaltagCS07, author = {Alexandru Baltag and Bob Coecke and Mehrnoosh Sadrzadeh}, title = {Epistemic Actions as Resources}, journal = {J. Log. Comput.}, volume = {17}, number = {3}, pages = {555--585}, year = {2007}, url = {https://doi.org/10.1093/logcom/exm015}, doi = {10.1093/LOGCOM/EXM015}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BaltagCS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaaiss/Coecke07, author = {Bob Coecke}, title = {Automated Quantum Reasoning: Non Logic - Semi-Logic - Hyper-Logic}, booktitle = {Quantum Interaction, Papers from the 2007 {AAAI} Spring Symposium, Technical Report SS-07-08, Stanford, California, USA, March 26-28, 2007}, pages = {31--38}, publisher = {{AAAI}}, year = {2007}, url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-08-005.php}, timestamp = {Wed, 29 Mar 2017 16:45:25 +0200}, biburl = {https://dblp.org/rec/conf/aaaiss/Coecke07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Coecke08, author = {Bob Coecke}, editor = {Peter Selinger}, title = {Axiomatic Description of Mixed States From Selinger's CPM-construction}, booktitle = {Proceedings of the 4th International Workshop on Quantum Programming Languages, {QPL} 2006, Oxford, UK, July 17-19, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {210}, pages = {3--13}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.014}, doi = {10.1016/J.ENTCS.2008.04.014}, timestamp = {Mon, 13 Feb 2023 14:33:04 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Coecke08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CoeckeP08, author = {Bob Coecke and {\'{E}}ric Oliver Paquette}, editor = {Peter Selinger}, title = {POVMs and Naimark's Theorem Without Sums}, booktitle = {Proceedings of the 4th International Workshop on Quantum Programming Languages, {QPL} 2006, Oxford, UK, July 17-19, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {210}, pages = {15--31}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.015}, doi = {10.1016/J.ENTCS.2008.04.015}, timestamp = {Mon, 13 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/CoeckeP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Coecke07, author = {Bob Coecke}, editor = {Peter Selinger}, title = {De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure}, booktitle = {Proceedings of the 3rd International Workshop on Quantum Programming Languages, {QPL} 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {170}, pages = {49--72}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.12.011}, doi = {10.1016/J.ENTCS.2006.12.011}, timestamp = {Tue, 24 Jan 2023 11:28:34 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Coecke07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Coecke06, author = {Bob Coecke}, editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and Achim Jung and Michael W. Mislove}, title = {Strongly Compact Closed Semantics}, booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {155}, pages = {331--340}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.11.062}, doi = {10.1016/J.ENTCS.2005.11.062}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Coecke06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/AbramskyC05, author = {Samson Abramsky and Bob Coecke}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, title = {Discrete classical vs. continuous quantum data in abstract quantum mechanics}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, series = {Dagstuhl Seminar Proceedings}, volume = {04351}, publisher = {IBFI, Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2005/131}, timestamp = {Thu, 10 Jun 2021 13:02:11 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/AbramskyC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AbramskyC04, author = {Samson Abramsky and Bob Coecke}, title = {A Categorical Semantics of Quantum Protocols}, booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004), 14-17 July 2004, Turku, Finland, Proceedings}, pages = {415--425}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/LICS.2004.1319636}, doi = {10.1109/LICS.2004.1319636}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AbramskyC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BaltagCS05, author = {Alexandru Baltag and Bob Coecke and Mehrnoosh Sadrzadeh}, editor = {Wiebe van der Hoek and Alessio Lomuscio and Erik P. de Vink and Michael J. Wooldridge}, title = {Algebra and Sequent Calculus for Epistemic Actions}, booktitle = {Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, {LCMAS} 2004, Nancy, France, August 16-20, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {126}, pages = {27--52}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.11.012}, doi = {10.1016/J.ENTCS.2004.11.012}, timestamp = {Wed, 21 Dec 2022 08:42:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BaltagCS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/leus/CoeckeMS04, author = {Bob Coecke and David J. Moore and Sonja Smets}, editor = {Shahid Rahman and John Symons and Dov M. Gabbay and Jean Paul Van Bendegem}, title = {Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples}, booktitle = {Logic, Epistemology, and the Unity of Science}, series = {Logic, Epistemology, and the Unity of Science}, volume = {1}, pages = {527--555}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-1-4020-2808-3\_24}, doi = {10.1007/978-1-4020-2808-3\_24}, timestamp = {Tue, 16 May 2017 14:24:24 +0200}, biburl = {https://dblp.org/rec/series/leus/CoeckeMS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/quant-ph-0402014, author = {Bob Coecke}, title = {The logic of entanglement}, journal = {CoRR}, volume = {quant-ph/0402014}, year = {2004}, url = {http://arxiv.org/abs/quant-ph/0402014}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/quant-ph-0402014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/quant-ph-0402130, author = {Samson Abramsky and Bob Coecke}, title = {A categorical semantics of quantum protocols}, journal = {CoRR}, volume = {quant-ph/0402130}, year = {2004}, url = {http://arxiv.org/abs/quant-ph/0402130}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/quant-ph-0402130.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfps/Coecke03, author = {Bob Coecke}, editor = {Stephen D. Brookes and Prakash Panangaden}, title = {Entropic Geometry from Logic}, booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al, QC, Canada, March 19-22, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {83}, pages = {39--53}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(03)50003-2}, doi = {10.1016/S1571-0661(03)50003-2}, timestamp = {Mon, 08 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfps/Coecke03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/quant-ph-0312044, author = {Bob Coecke and Keye Martin}, title = {Partiality in physics}, journal = {CoRR}, volume = {quant-ph/0312044}, year = {2003}, url = {http://arxiv.org/abs/quant-ph/0312044}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/quant-ph-0312044.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Coecke02a, author = {Bob Coecke}, title = {Quantum Logic in Intuitionistic Perspective}, journal = {Stud Logica}, volume = {70}, number = {3}, pages = {411--440}, year = {2002}, url = {https://doi.org/10.1023/A:1015106515413}, doi = {10.1023/A:1015106515413}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Coecke02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/Coecke02, author = {Bob Coecke}, title = {Disjunctive Quantum Logic in Dynamic Perspective}, journal = {Stud Logica}, volume = {71}, number = {1}, pages = {47--56}, year = {2002}, url = {https://doi.org/10.1023/A:1016335024252}, doi = {10.1023/A:1016335024252}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/Coecke02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/AbramskyC02, author = {Samson Abramsky and Bob Coecke}, editor = {Richard Blute and Peter Selinger}, title = {Physical Traces: Quantum vs. Classical Information Processing}, booktitle = {Category Theory and Computer Science, {CTCS} 2002, Ottawa, Canada, August 15-17, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {69}, pages = {1--22}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80556-5}, doi = {10.1016/S1571-0661(04)80556-5}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AbramskyC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-CG-0207057, author = {Samson Abramsky and Bob Coecke}, title = {Physical Traces: Quantum vs. Classical Information Processing}, journal = {CoRR}, volume = {cs.CG/0207057}, year = {2002}, url = {https://arxiv.org/abs/cs/0207057}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-CG-0207057.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.