Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-02 20:14 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:
