default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/qpl:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2212-08048,
author = {Tuomas Laakkonen and
Konstantinos Meichanetzidis and
John van de Wetering},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {A Graphical {\#}SAT Algorithm for Formulae with Small Clause Density},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {137--161},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.7},
doi = {10.4204/EPTCS.406.7},
timestamp = {Fri, 22 Nov 2024 14:03:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-08048.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2403-10864,
author = {Korbinian Staudacher and
Ludwig Schmid and
Johannes Zeiher and
Robert Wille and
Dieter Kranzlm{\"{u}}ller},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Multi-controlled Phase Gate Synthesis with ZX-calculus applied to
Neutral Atom Hardware},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {96--116},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.5},
doi = {10.4204/EPTCS.406.5},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-10864.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2403-10964,
author = {Matthew Sutcliffe and
Aleks Kissinger},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition
in Classical Simulation},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {63--78},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.3},
doi = {10.4204/EPTCS.406.3},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-10964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-07828,
author = {Aleks Kissinger and
John van de Wetering},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford
Gates)},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {79--95},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.4},
doi = {10.4204/EPTCS.406.4},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-07828.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2405-08136,
author = {Andrew N. Glaudell and
Neil J. Ross and
John van de Wetering and
Lia Yeh},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {44--62},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.2},
doi = {10.4204/EPTCS.406.2},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-08136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2407-11152,
author = {Matthew Amy and
Neil J. Ross and
Scott Wesley},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {A Sound and Complete Equational Theory for 3-Qubit Toffoli-Hadamard
Circuits},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {1--43},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.1},
doi = {10.4204/EPTCS.406.1},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-11152.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2408-06059,
author = {Piotr Mitosek},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Pauli Flow on Open Graphs with Unknown Measurement Labels},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {117--136},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.6},
doi = {10.4204/EPTCS.406.6},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-06059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2408-06061,
author = {Tuomas Laakkonen and
Konstantinos Meichanetzidis and
Bob Coecke},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Quantum Algorithms for Compositional Text Processing},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {162--196},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.8},
doi = {10.4204/EPTCS.406.8},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-06061.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2408-11846,
author = {Jay Owers and
Ekaterina Shutova and
Martha Lewis},
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Density Matrices for Metaphor Understanding},
booktitle = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
pages = {197--215},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406.9},
doi = {10.4204/EPTCS.406.9},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-11846.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2408-05113,
editor = {Alejandro D{\'{\i}}az{-}Caro and
Vladimir Zamdzhiev},
title = {Proceedings of the 21st International Conference on Quantum Physics
and Logic, {QPL} 2024, Buenos Aires, Argentina, July 15-19, 2024},
series = {{EPTCS}},
volume = {406},
year = {2024},
url = {https://doi.org/10.4204/EPTCS.406},
doi = {10.4204/EPTCS.406},
timestamp = {Fri, 22 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-05113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-02524,
author = {Tuomas Laakkonen and
Konstantinos Meichanetzidis and
John van de Wetering},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Picturing counting reductions with the ZH-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 = {89--113},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.6},
doi = {10.4204/EPTCS.384.6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-02524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-08166,
author = {Tommy McElvanney and
Miriam Backens},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation},
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 = {203--219},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.12},
doi = {10.4204/EPTCS.384.12},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08166.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 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-02114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2306-05204,
author = {Boldizs{\'{a}}r Po{\'{o}}r and
Robert I. Booth and
Titouan Carette and
John van de Wetering and
Lia Yeh},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms
and Graph-Theoretic Simplification},
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 = {220--264},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.13},
doi = {10.4204/EPTCS.384.13},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-05204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2306-08530,
author = {Xiaoning Bian and
Peter Selinger},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Generators and Relations for 3-Qubit Clifford+CS Operators},
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 = {114--126},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.7},
doi = {10.4204/EPTCS.384.7},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-08530.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2306-16369,
author = {Matthew Amy},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Complete Equational Theories for the Sum-Over-Paths with Unbalanced
Amplitudes},
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 = {127--141},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.8},
doi = {10.4204/EPTCS.384.8},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16369.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-02437,
author = {Jiaxin Huang and
Sarah Meng Li and
Lia Yeh and
Aleks Kissinger and
Michele Mosca and
Michael Vasmer},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Graphical {CSS} Code Transformation Using {ZX} 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 = {1--19},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.1},
doi = {10.4204/EPTCS.384.1},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-02437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-10095,
author = {Patrick Roy and
John van de Wetering and
Lia Yeh},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality},
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 = {142--170},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.9},
doi = {10.4204/EPTCS.384.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-10095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2307-11136,
author = {Alex Townsend{-}Teague and
Julio Carlos Magdalena de la Fuente and
Markus S. Kesselring},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Floquetifying the Colour Code},
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 = {265--303},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.14},
doi = {10.4204/EPTCS.384.14},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-11136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16494,
author = {Howard Barnum and
Matthew A. Graydon and
Alexander Wilce},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Locally Tomographic Shadows (Extended Abstract)},
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 = {47--57},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.3},
doi = {10.4204/EPTCS.384.3},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16495,
author = {Gejza Jenca and
Bert Lindenhovius},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Quantum Suplattices},
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 = {58--74},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.4},
doi = {10.4204/EPTCS.384.4},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16495.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16496,
author = {Ewan Murphy and
Aleks Kissinger},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Global Synthesis of {CNOT} Circuits with Holes},
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 = {75--88},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.5},
doi = {10.4204/EPTCS.384.5},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16497,
author = {J. Robin B. Cockett and
Jean{-}Simon Pacaud Lemay},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Moore-Penrose Dagger Categories},
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 = {171--186},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.10},
doi = {10.4204/EPTCS.384.10},
timestamp = {Mon, 10 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-16498,
author = {Kin Ian Lo and
Mehrnoosh Sadrzadeh and
Shane Mansfield},
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Generalised Winograd Schema and its Contextuality},
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 = {187--202},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384.11},
doi = {10.4204/EPTCS.384.11},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-16498.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2308-15489,
editor = {Shane Mansfield and
Beno{\^{\i}}t Valiron and
Vladimir Zamdzhiev},
title = {Proceedings of the Twentieth International Conference on Quantum Physics
and Logic, {QPL} 2023, Paris, France, 17-21st July 2023},
series = {{EPTCS}},
volume = {384},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.384},
doi = {10.4204/EPTCS.384},
timestamp = {Wed, 25 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2311-08375,
editor = {Stefano Gogioso and
Matty Hoban},
title = {Proceedings 19th International Conference on Quantum Physics and Logic,
{QPL} 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022},
series = {{EPTCS}},
volume = {394},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.394},
doi = {10.4204/EPTCS.394},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08375.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-06052,
author = {Arianne Meijer{-}van de Griend and
Ross Duncan},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Architecture-Aware Synthesis of Phase Polynomials for {NISQ} Devices},
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 = {116--140},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.8},
doi = {10.4204/EPTCS.394.8},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-06052.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2110-07074,
author = {Stefano Gogioso},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Finite-dimensional Quantum Observables are the Special Symmetric Dagger-Frobenius
Algebras of {CP} Maps},
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 = {432--441},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.21},
doi = {10.4204/EPTCS.394.21},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-07074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-01307,
author = {Tobias Stollenwerk and
Stuart Hadfield},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Diagrammatic Analysis for Parameterized Quantum Circuits},
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 = {262--301},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.15},
doi = {10.4204/EPTCS.394.15},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-01307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-02217,
author = {Xiaoning Bian and
Peter Selinger},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Generators and Relations for 2-Qubit Clifford+T Operators},
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 = {13--28},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.2},
doi = {10.4204/EPTCS.394.2},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-02217.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-12985.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-13039,
author = {Peng Fu and
Kohei Kishida and
Neil J. Ross and
Peter Selinger},
editor = {Stefano Gogioso and
Matty Hoban},
title = {A biset-enriched categorical model for Proto-Quipper with dynamic
lifting},
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 = {302--342},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.16},
doi = {10.4204/EPTCS.394.16},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-13681,
author = {John van de Wetering and
Lia Yeh},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Building Qutrit Diagonal Gates from Phase Gadgets},
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 = {46--65},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.4},
doi = {10.4204/EPTCS.394.4},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13681.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-14205,
author = {Matthew Amy and
Owen Bennett{-}Gibbs and
Neil J. Ross},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Symbolic Synthesis of Clifford Circuits and Beyond},
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 = {343--362},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.17},
doi = {10.4204/EPTCS.394.17},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-14205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-00724,
author = {Arianne Meijer{-}van de Griend and
Sarah Meng Li},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Dynamic Qubit Routing with {CNOT} Circuit Synthesis for Quantum Compilation},
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 = {363--399},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.18},
doi = {10.4204/EPTCS.394.18},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-00724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-01514,
author = {Viet Pham Ngoc and
David Tuckey and
Herbert Wiklicky},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Tunable Quantum Neural Networks in the QPAC-Learning Framework},
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 = {221--235},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.13},
doi = {10.4204/EPTCS.394.13},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-02009,
author = {Tommy McElvanney and
Miriam Backens},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Complete Flow-Preserving Rewrite Rules for {MBQC} Patterns with Pauli
Measurements},
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 = {66--82},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.5},
doi = {10.4204/EPTCS.394.5},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-02009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2206-03532,
author = {Kartik Singhal and
Kesha Hietala and
Sarah Marshall and
Robert Rand},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Q{\#} as a Quantum Algorithmic Language},
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 = {170--191},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.10},
doi = {10.4204/EPTCS.394.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03532.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2206-04814,
author = {Pablo Andr{\'{e}}s{-}Mart{\'{\i}}nez and
Chris Heunen and
Robin Kaarsgaard},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Universal Properties of Partial Quantum Maps},
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 = {192--207},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.11},
doi = {10.4204/EPTCS.394.11},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-04814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2206-06807,
author = {Daphne Wang and
Mehrnoosh Sadrzadeh},
editor = {Stefano Gogioso and
Matty Hoban},
title = {The Causal Structure of Semantic Ambiguities},
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 = {208--220},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.12},
doi = {10.4204/EPTCS.394.12},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06807.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2206-09376,
author = {Agust{\'{\i}}n Borgna and
Rafael Romero},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Encoding High-level Quantum Programs as SZX-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 = {141--169},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.9},
doi = {10.4204/EPTCS.394.9},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-09376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2206-11839,
author = {Stefano Gogioso and
Richie Yeung},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Annealing Optimisation of Mixed {ZX} Phase Circuits},
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 = {415--431},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.20},
doi = {10.4204/EPTCS.394.20},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11839.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-05832,
author = {Sam Staton and
Ned Summers},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Quantum de Finetti Theorems as Categorical Limits, and Limits of State
Spaces of C*-algebras},
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 = {400--414},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.19},
doi = {10.4204/EPTCS.394.19},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2212-04462,
author = {Razin A. Shaikh and
Quanlong Wang and
Richie Yeung},
editor = {Stefano Gogioso and
Matty Hoban},
title = {How to Sum and Exponentiate Hamiltonians in {ZXW} Calculus},
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 = {236--261},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.14},
doi = {10.4204/EPTCS.394.14},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-04462.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-08881,
author = {Korbinian Staudacher and
Tobias Guggemos and
Sophia Grundner{-}Culemann and
Wolfgang Gehrke},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Reducing 2-QuBit Gate Count for ZX-Calculus based Quantum Circuit
Optimization},
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 = {29--45},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.3},
doi = {10.4204/EPTCS.394.3},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08881.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-08882,
author = {Isaac Friend and
Aleks Kissinger},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Identification of Causal Influences in Quantum Processes},
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 = {101--115},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.7},
doi = {10.4204/EPTCS.394.7},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09268,
author = {Masanao Ozawa},
editor = {Stefano Gogioso and
Matty Hoban},
title = {Logical Characterization of Contextual Hidden-Variable Theories based
on Quantum Set Theory},
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 = {1--12},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.394.1},
doi = {10.4204/EPTCS.394.1},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09268.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2102-01529,
author = {Arthur J. Parzygnat},
editor = {Chris Heunen and
Miriam Backens},
title = {Conditional distributions for quantum systems},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {1--13},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.1},
doi = {10.4204/EPTCS.343.1},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-01529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2102-08711,
author = {Chris Heunen and
Robin Kaarsgaard},
editor = {Chris Heunen and
Miriam Backens},
title = {Bennett and Stinespring, Together at Last},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {102--118},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.5},
doi = {10.4204/EPTCS.343.5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-08711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2103-07960,
author = {Alexis Toumi and
Richie Yeung and
Giovanni de Felice},
editor = {Chris Heunen and
Miriam Backens},
title = {Diagrammatic Differentiation for Quantum Machine Learning},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {132--144},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.7},
doi = {10.4204/EPTCS.343.7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-07960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2104-01043,
author = {Titouan Carette and
Yohann D'Anello and
Simon Perdrix},
editor = {Chris Heunen and
Miriam Backens},
title = {Quantum Algorithms and Oracles with the Scalable ZX-calculus},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {193--209},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.10},
doi = {10.4204/EPTCS.343.10},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2105-14047,
author = {Xiaoning Bian and
Peter Selinger},
editor = {Chris Heunen and
Miriam Backens},
title = {Generators and relations for U\({}_{\mbox{n}}\)(Z[{\textonehalf},
i])},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {145--164},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.8},
doi = {10.4204/EPTCS.343.8},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-14047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-01175,
author = {Sarah Meng Li and
Neil J. Ross and
Peter Selinger},
editor = {Chris Heunen and
Miriam Backens},
title = {Generators and Relations for the Group O\({}_{\mbox{n}}\)(Z[1/2])},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {210--264},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.11},
doi = {10.4204/EPTCS.343.11},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-01209,
author = {James Hefford and
Stefano Gogioso},
editor = {Chris Heunen and
Miriam Backens},
title = {{CPM} Categories for Galois Extensions},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {165--192},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.9},
doi = {10.4204/EPTCS.343.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-01209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2106-03656,
author = {Wesley Fussner and
Gavin St. John},
editor = {Chris Heunen and
Miriam Backens},
title = {Negative Translations of Orthomodular Lattices and Their Logic},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {37--49},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.3},
doi = {10.4204/EPTCS.343.3},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-03656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2107-14581,
author = {Matt Wilson and
Giulio Chiribella},
editor = {Chris Heunen and
Miriam Backens},
title = {Causality in higher order process theories},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {265--300},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.12},
doi = {10.4204/EPTCS.343.12},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-05654,
author = {Will Simmons},
editor = {Chris Heunen and
Miriam Backens},
title = {Relating Measurement Patterns to Circuits via Pauli Flow},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {50--101},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.4},
doi = {10.4204/EPTCS.343.4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-05655,
author = {Justin Makary and
Neil J. Ross and
Peter Selinger},
editor = {Chris Heunen and
Miriam Backens},
title = {Generators and Relations for Real Stabilizer Operators},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {14--36},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.2},
doi = {10.4204/EPTCS.343.2},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05655.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-05656,
author = {Beata Zjawin and
Elie Wolfe and
Robert W. Spekkens},
editor = {Chris Heunen and
Miriam Backens},
title = {Restricted Hidden Cardinality Constraints in Causal Models},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {119--131},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343.6},
doi = {10.4204/EPTCS.343.6},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-05656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-01534,
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.340},
doi = {10.4204/EPTCS.340},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-04886,
editor = {Chris Heunen and
Miriam Backens},
title = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.343},
doi = {10.4204/EPTCS.343},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2103-13771,
title = {The Sheaf-Theoretic Structure of Definite Causality},
booktitle = {Proceedings 18th International Conference on Quantum Physics and Logic,
{QPL} 2021, Gdansk, Poland, and online, 7-11 June 2021},
series = {{EPTCS}},
volume = {343},
pages = {301--324},
year = {2021},
note = {Withdrawn.},
url = {https://doi.org/10.4204/EPTCS.343.13},
doi = {10.4204/EPTCS.343.13},
timestamp = {Thu, 11 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-13771.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 = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-06818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1911-06752,
author = {Quanlong Wang},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {An Algebraic Axiomatisation of ZX-calculus},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {303--332},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.16},
doi = {10.4204/EPTCS.340.16},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-06752.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1912-11412,
author = {Sacha Huriot{-}Tattegrain and
Mehdi Mhalla},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Contextuality and Expressivity of Non-locality},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {160--173},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.8},
doi = {10.4204/EPTCS.340.8},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-11412.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-08224,
author = {Matt Wilson and
Giulio Chiribella},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {A Diagrammatic Approach to Information Transmission in Generalised
Switches},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {333--348},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.17},
doi = {10.4204/EPTCS.340.17},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-08318,
author = {James Hefford and
Stefano Gogioso},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Hyper-decoherence in Density Hypercubes},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {141--159},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.7},
doi = {10.4204/EPTCS.340.7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-08318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-10245,
author = {Kenta Cho and
Bas Westerbaan and
John van de Wetering},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Dichotomy between deterministic and probabilistic models in countably
additive effectus theory},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {91--113},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.5},
doi = {10.4204/EPTCS.340.5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-10245.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-13306,
author = {Nicola Pinzani and
Stefano Gogioso},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Giving Operational Meaning to the Superposition of Causal Orders},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {256--278},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.13},
doi = {10.4204/EPTCS.340.13},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2003-13564,
author = {Louis Lemonnier and
John van de Wetering and
Aleks Kissinger},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {188--212},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.10},
doi = {10.4204/EPTCS.340.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-13564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-04128,
author = {Adriana D. Correia and
Henk T. C. Stoof and
Michael Moortgat},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Putting a Spin on Language: {A} Quantum Interpretation of Unary Connectives
for Linguistic Applications},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {114--140},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.6},
doi = {10.4204/EPTCS.340.6},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-04128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-05287,
author = {Cole Comfort},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {The ZX{\&} calculus: {A} complete graphical calculus for classical
circuits using spiders},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {60--90},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.4},
doi = {10.4204/EPTCS.340.4},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-05287.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-06455,
author = {Niel de Beaudrap and
Aleks Kissinger and
Konstantinos Meichanetzidis},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {46--59},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.3},
doi = {10.4204/EPTCS.340.3},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-06455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2004-12921,
author = {{\"{A}}min Baumeler and
Eleftherios Tselentis},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Equivalence of grandfather and information antinomy under intervention},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {1--12},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.1},
doi = {10.4204/EPTCS.340.1},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12921.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 00:00:00 +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-2006-02557,
author = {Niel de Beaudrap},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Well-tempered {ZX} and {ZH} Calculi},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {13--45},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.2},
doi = {10.4204/EPTCS.340.2},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-02557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02196,
author = {Andre Kornell and
Bert Lindenhovius and
Michael W. Mislove},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Quantum CPOs},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {174--187},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.9},
doi = {10.4204/EPTCS.340.9},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02197,
author = {Robert Rand and
Aarthi Sundaram and
Kartik Singhal and
Brad Lackey},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Gottesman Types for Quantum Programs},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {279--290},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.14},
doi = {10.4204/EPTCS.340.14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02197.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-02198,
author = {Kartik Singhal and
John H. Reppy},
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Quantum Hoare Type Theory: Extended Abstract},
booktitle = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
pages = {291--302},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.340.15},
doi = {10.4204/EPTCS.340.15},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-02198.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}
}
@inproceedings{DBLP:journals/corr/abs-1901-02406,
author = {Mathias Soeken},
editor = {Bob Coecke and
Matthew Leifer},
title = {Using ZDDs in the mapping of quantum circuits},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {106--118},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.7},
doi = {10.4204/EPTCS.318.7},
timestamp = {Fri, 03 Jul 2020 12:26:21 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-02406.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00706,
author = {Hector Miller{-}Bakewell},
editor = {Bob Coecke and
Matthew Leifer},
title = {Finite Verification of Infinite Families of Diagram Equations},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {27--52},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.3},
doi = {10.4204/EPTCS.318.3},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-04735,
author = {Aleks Kissinger and
John van de Wetering},
editor = {Bob Coecke and
Matthew Leifer},
title = {PyZX: Large Scale Automated Diagrammatic Reasoning},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {229--241},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.14},
doi = {10.4204/EPTCS.318.14},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-04735.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-12817,
author = {Niel de Beaudrap and
Ross Duncan and
Dominic Horsman and
Simon Perdrix},
editor = {Bob Coecke and
Matthew Leifer},
title = {Pauli Fusion: a Computational Model to Realise Quantum Transformations
from {ZX} Terms},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {85--105},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.6},
doi = {10.4204/EPTCS.318.6},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-00797,
author = {Joseph Collins and
Ross Duncan},
editor = {Bob Coecke and
Matthew Leifer},
title = {Hopf-Frobenius Algebras and a Simpler Drinfeld Double},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {150--180},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.10},
doi = {10.4204/EPTCS.318.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-00797.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1905-09055,
author = {Alexandru Gheorghiu and
Chris Heunen},
editor = {Bob Coecke and
Matthew Leifer},
title = {Ontological models for quantum theory as functors},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {196--212},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.12},
doi = {10.4204/EPTCS.318.12},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-09055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1906-01734,
author = {Alexander Cowtan and
Silas Dilkes and
Ross Duncan and
Will Simmons and
Seyon Sivarajah},
editor = {Bob Coecke and
Matthew Leifer},
title = {Phase Gadget Synthesis for Shallow Circuits},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {213--228},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.13},
doi = {10.4204/EPTCS.318.13},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-01734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-05172,
author = {Sean Tull},
editor = {Bob Coecke and
Matthew Leifer},
title = {Deriving Dagger Compactness},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {181--195},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.11},
doi = {10.4204/EPTCS.318.11},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-05172.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1911-09039,
author = {Niel de Beaudrap and
Xiaoning Bian and
Quanlong Wang},
editor = {Bob Coecke and
Matthew Leifer},
title = {Techniques to Reduce ({\(\pi\)}/4)-Parity-Phase Circuits, Motivated
by the {ZX} Calculus},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {131--149},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.9},
doi = {10.4204/EPTCS.318.9},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-09039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00207,
author = {Tejas Bhojraj},
editor = {Bob Coecke and
Matthew Leifer},
title = {Generating Randomness from a Computable, Non-random Sequence of Qubits},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {1--12},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.1},
doi = {10.4204/EPTCS.318.1},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00208,
author = {Jean{-}Simon Pacaud Lemay},
editor = {Bob Coecke and
Matthew Leifer},
title = {Why FHilb is Not an Interesting (Co)Differential Category},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {13--26},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.2},
doi = {10.4204/EPTCS.318.2},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00208.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00209,
author = {Octavio Zapata},
editor = {Bob Coecke and
Matthew Leifer},
title = {Effectus of Quantum Probability on Relational Structures},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {53--65},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.4},
doi = {10.4204/EPTCS.318.4},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00210,
author = {Robert Furber},
editor = {Bob Coecke and
Matthew Leifer},
title = {Scott Continuity in Generalized Probabilistic Theories},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {66--84},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.5},
doi = {10.4204/EPTCS.318.5},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00211,
author = {Giulia Meuli and
Mathias Soeken and
Martin Roetteler and
Giovanni De Micheli},
editor = {Bob Coecke and
Matthew Leifer},
title = {{ROS:} Resource-constrained Oracle Synthesis for Quantum Computers},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {119--130},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.8},
doi = {10.4204/EPTCS.318.8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00211.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2005-00213,
author = {Sivert Aasn{\ae}ss},
editor = {Bob Coecke and
Matthew Leifer},
title = {Cohomology and the Algebraic Structure of Contextuality in Measurement
Based Quantum Computation},
booktitle = {Proceedings 16th International Conference on Quantum Physics and Logic,
{QPL} 2019, Chapman University, Orange, CA, USA, June 10-14, 2019},
series = {{EPTCS}},
volume = {318},
pages = {242--253},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.318.15},
doi = {10.4204/EPTCS.318.15},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1901-09476,
editor = {Peter Selinger and
Giulio Chiribella},
title = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.287},
doi = {10.4204/EPTCS.287},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-09476.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1804-01106,
author = {Nuriya Nurgalieva and
L{\'{\i}}dia del Rio},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Inadequacy of modal logic in quantum settings},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {267--297},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.16},
doi = {10.4204/EPTCS.287.16},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1804-01514,
author = {Martti Karvonen},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Categories of empirical models},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {239--252},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.14},
doi = {10.4204/EPTCS.287.14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1804-03084,
author = {Renaud Vilmart},
editor = {Peter Selinger and
Giulio Chiribella},
title = {A ZX-Calculus with Triangles for Toffoli-Hadamard, Clifford+T, and
Beyond},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {313--344},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.18},
doi = {10.4204/EPTCS.287.18},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-03084.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1804-04042,
author = {Benjamin Musto and
Jamie Vicary},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Orthogonality for Quantum Latin Isometry Squares},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {253--266},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.15},
doi = {10.4204/EPTCS.287.15},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1804-10360,
author = {Cole Comfort and
J. Robin B. Cockett},
editor = {Peter Selinger and
Giulio Chiribella},
title = {The category {TOF}},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {67--84},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.4},
doi = {10.4204/EPTCS.287.4},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10360.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-02175,
author = {Miriam Backens and
Aleks Kissinger},
editor = {Peter Selinger and
Giulio Chiribella},
title = {{ZH:} {A} Complete Graphical Calculus for Quantum Computations Involving
Classical Non-linearity},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {23--42},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.2},
doi = {10.4204/EPTCS.287.2},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-02175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-05988,
author = {Fabrizio Genovese and
Jelle Herold},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Executions in (Semi-)Integer Petri Nets are Compact Closed Categories},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {127--144},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.7},
doi = {10.4204/EPTCS.287.7},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-06908,
author = {Matthew Amy},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Towards Large-scale Functional Verification of Universal Quantum Circuits},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {1--21},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.1},
doi = {10.4204/EPTCS.287.1},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-06908.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-11496,
author = {Abraham Westerbaan and
Bas Westerbaan and
John van de Wetering},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Pure Maps between Euclidean Jordan Algebras},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {345--364},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.19},
doi = {10.4204/EPTCS.287.19},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-11496.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-12079,
author = {Stefano Gogioso},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Higher-order {CPM} Constructions},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {145--162},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.8},
doi = {10.4204/EPTCS.287.8},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-12087,
author = {Stefano Gogioso and
Fabrizio Genovese},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Quantum Field Theory in Categorical Quantum Mechanics},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {163--177},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.9},
doi = {10.4204/EPTCS.287.9},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12087.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 = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1806-04744,
author = {Spencer Breiner and
Amir Kalev and
Carl A. Miller},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Parallel Self-Testing of the {GHZ} State with a Proof by Diagrams},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {43--66},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.3},
doi = {10.4204/EPTCS.287.3},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-04744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-02438,
author = {Bart Jacobs},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Lower and Upper Conditioning in Quantum Bayesian Theory},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {225--238},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.13},
doi = {10.4204/EPTCS.287.13},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-02438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10114,
author = {Andrew Fagan and
Ross Duncan},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Optimising Clifford Circuits with Quantomatic},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {85--105},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.5},
doi = {10.4204/EPTCS.287.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10116,
author = {Robert Furber},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Categorical Equivalences from State-Effect Adjunctions},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {107--126},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.6},
doi = {10.4204/EPTCS.287.6},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10117,
author = {Mathieu Huot and
Sam Staton},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Universal Properties in Quantum Theory},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {213--223},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.12},
doi = {10.4204/EPTCS.287.12},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10118,
author = {Robert Rand and
Jennifer Paykin and
Dong{-}Ho Lee and
Steve Zdancewic},
editor = {Peter Selinger and
Giulio Chiribella},
title = {ReQWIRE: Reasoning about Reversible Quantum Circuits},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {299--312},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.17},
doi = {10.4204/EPTCS.287.17},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10118.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1901-10640,
author = {Stan Gudder},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Contexts in Convex and Sequential Effect Algebras},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {191--211},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.11},
doi = {10.4204/EPTCS.287.11},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-10640.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}
}
@inproceedings{DBLP:journals/corr/AmyCR17,
author = {Matthew Amy and
Jianxin Chen and
Neil J. Ross},
editor = {Bob Coecke and
Aleks Kissinger},
title = {A finite presentation of CNOT-dihedral operators},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {84--97},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.5},
doi = {10.4204/EPTCS.266.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmyCR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cicala17,
author = {Daniel Cicala},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Categorifying the zx-calculus},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {294--314},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.19},
doi = {10.4204/EPTCS.266.19},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Cicala17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CockettCS17,
author = {J. Robin B. Cockett and
Cole Comfort and
Priyaa V. Srinivasan},
editor = {Bob Coecke and
Aleks Kissinger},
title = {The Category {CNOT}},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {258--293},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.18},
doi = {10.4204/EPTCS.266.18},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CockettCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DorbecM17,
author = {Paul Dorbec and
Mehdi Mhalla},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Quantum Combinatorial Games},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {237--248},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.16},
doi = {10.4204/EPTCS.266.16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DorbecM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GarvieD17,
author = {Liam Garvie and
Ross Duncan},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Verifying the Smallest Interesting Colour Code with Quantomatic},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {147--163},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.10},
doi = {10.4204/EPTCS.266.10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GarvieD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GhicaL17,
author = {Dan R. Ghica and
Aliaume Lopez},
editor = {Bob Coecke and
Aleks Kissinger},
title = {A structural and nominal syntax for diagrams},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {71--83},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.4},
doi = {10.4204/EPTCS.266.4},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GhicaL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JeandelPV17,
author = {Emmanuel Jeandel and
Simon Perdrix and
Renaud Vilmart},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Y-Calculus: {A} language for real Matrices derived from the ZX-Calculus},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {23--57},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.2},
doi = {10.4204/EPTCS.266.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeandelPV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RiosS17,
author = {Francisco Rios and
Peter Selinger},
editor = {Bob Coecke and
Aleks Kissinger},
title = {A categorical model for a quantum circuit description language},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {164--178},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.11},
doi = {10.4204/EPTCS.266.11},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RiosS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1701-03309,
author = {David Reutter and
Jamie Vicary},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Shaded Tangles for the Design and Verification of Quantum Programs
(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 = {329--348},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.21},
doi = {10.4204/EPTCS.266.21},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1701-03309.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 = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1701-07400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1701-08075,
author = {Stefano Gogioso and
Carlo Maria Scandolo},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Categorical Probabilistic Theories},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {367--385},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.23},
doi = {10.4204/EPTCS.266.23},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1701-08075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1703-09594,
author = {Stefano Gogioso and
Fabrizio Genovese},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Towards Quantum Field Theory in Categorical Quantum Mechanics},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {349--366},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.22},
doi = {10.4204/EPTCS.266.22},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1703-09594.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1704-08086,
author = {Pau Enrique Moliner and
Chris Heunen and
Sean Tull},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Space in Monoidal Categories},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {399--410},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.25},
doi = {10.4204/EPTCS.266.25},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1704-08086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1704-08525,
author = {John van de Wetering},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Quantum Theory is a Quasi-stochastic Process Theory},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {179--196},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.12},
doi = {10.4204/EPTCS.266.12},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1704-08525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1705-07652,
author = {Oscar Cunningham and
Chris Heunen},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Purity through Factorisation},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {315--328},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.20},
doi = {10.4204/EPTCS.266.20},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1705-07652.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-00843,
author = {Linde Wester},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Almost Equivalent Paradigms of Contextuality},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {1--22},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.1},
doi = {10.4204/EPTCS.266.1},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00843.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00696,
author = {Quanlong Wang},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {58--70},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.3},
doi = {10.4204/EPTCS.266.3},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00697,
author = {Andreas Blass and
Yuri Gurevich},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Common Denominator for Value and Expectation No-go Theorems: 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 = {98--103},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.6},
doi = {10.4204/EPTCS.266.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00699,
author = {Robert Rand and
Jennifer Paykin and
Steve Zdancewic},
editor = {Bob Coecke and
Aleks Kissinger},
title = {{QWIRE} Practice: Formal Verification of Quantum Circuits in Coq},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {119--132},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.8},
doi = {10.4204/EPTCS.266.8},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00699.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-00705,
author = {Kevin Dunne},
editor = {Bob Coecke and
Aleks Kissinger},
title = {On the Structure of Abstract H*-Algebras},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {197--208},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.13},
doi = {10.4204/EPTCS.266.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00706,
author = {Daniel Mills and
Anna Pappa and
Theodoros Kapourniotis and
Elham Kashefi},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Information Theoretically Secure Hypothesis Test for Temporally Unstructured
Quantum Computation (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 = {209--221},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.14},
doi = {10.4204/EPTCS.266.14},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00707,
author = {Alexander Wilce},
editor = {Bob Coecke and
Aleks Kissinger},
title = {A Shortcut from Categorical Quantum Theory to Convex Operational Theories},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {222--236},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.15},
doi = {10.4204/EPTCS.266.15},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00707.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}
}
@inproceedings{DBLP:journals/corr/abs-1803-00709,
author = {Kevin Dunne},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Spectral Presheaves, Kochen-Specker Contextuality, and Quantale-Valued
Relations},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {386--398},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.24},
doi = {10.4204/EPTCS.266.24},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/DuncanH17,
editor = {Ross Duncan and
Chris Heunen},
title = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.236},
doi = {10.4204/EPTCS.236},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DuncanH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BackensPW16,
author = {Miriam Backens and
Simon Perdrix and
Quanlong Wang},
editor = {Ross Duncan and
Chris Heunen},
title = {A Simplified Stabilizer ZX-calculus},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {1--20},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.1},
doi = {10.4204/EPTCS.236.1},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/BackensPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Caru17,
author = {Giovanni Car{\`{u}}},
editor = {Ross Duncan and
Chris Heunen},
title = {On the Cohomology of Contextuality},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {21--39},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.2},
doi = {10.4204/EPTCS.236.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Caru17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hadzihasanovic17,
author = {Amar Hadzihasanovic},
editor = {Ross Duncan and
Chris Heunen},
title = {A Topological Perspective on Interacting Algebraic Theories},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {70--86},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.5},
doi = {10.4204/EPTCS.236.5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hadzihasanovic17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerU17,
author = {Aleks Kissinger and
Sander Uijlen},
editor = {Ross Duncan and
Chris Heunen},
title = {Picturing Indefinite Causal Structure},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {87--94},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.6},
doi = {10.4204/EPTCS.236.6},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerU17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden17,
author = {Dan Marsden},
editor = {Ross Duncan and
Chris Heunen},
title = {Ambiguity and Incomplete Information in Categorical Models of Language},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {95--107},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.7},
doi = {10.4204/EPTCS.236.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RennelaSF17,
author = {Mathys Rennela and
Sam Staton and
Robert Furber},
editor = {Ross Duncan and
Chris Heunen},
title = {Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves
over Matrix Algebras},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {161--173},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.11},
doi = {10.4204/EPTCS.236.11},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/RennelaSF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1501-01020,
author = {Abraham Westerbaan},
editor = {Ross Duncan and
Chris Heunen},
title = {Quantum Programs as Kleisli Maps},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {215--228},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.14},
doi = {10.4204/EPTCS.236.14},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1501-01020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1602-00567,
author = {Frank Roumen},
editor = {Ross Duncan and
Chris Heunen},
title = {Cohomology of Effect Algebras},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {174--201},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.12},
doi = {10.4204/EPTCS.236.12},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1602-00567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1603-02189,
author = {Iv{\'{a}}n A. Contreras and
Ali Nabi Duman},
editor = {Ross Duncan and
Chris Heunen},
title = {Geometric Quantization and Epistemically Restricted Theories: The
Continuous Case},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {40--50},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.3},
doi = {10.4204/EPTCS.236.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1603-02189.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1603-04353,
author = {Abraham Westerbaan and
Bas Westerbaan},
editor = {Ross Duncan and
Chris Heunen},
title = {Paschke Dilations},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {229--244},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.15},
doi = {10.4204/EPTCS.236.15},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1603-04353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1603-08866,
author = {Dominic Verdon and
Jamie Vicary},
editor = {Ross Duncan and
Chris Heunen},
title = {Tight Reference Frame-Independent Quantum Teleportation},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {202--214},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.13},
doi = {10.4204/EPTCS.236.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1603-08866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1605-04305,
author = {Stefano Gogioso and
Fabrizio Genovese},
editor = {Ross Duncan and
Chris Heunen},
title = {Infinite-dimensional Categorical Quantum Mechanics},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {51--69},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.4},
doi = {10.4204/EPTCS.236.4},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1605-04305.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1605-06719,
author = {Dusko Pavlovic and
Peter{-}Michael Seidel},
editor = {Ross Duncan and
Chris Heunen},
title = {(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial
Algebras},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {145--160},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.10},
doi = {10.4204/EPTCS.236.10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1605-06719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1605-08919,
author = {Benjamin Musto},
editor = {Ross Duncan and
Chris Heunen},
title = {Constructing Mutually Unbiased Bases from Quantum Latin Squares},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {108--126},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.8},
doi = {10.4204/EPTCS.236.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1605-08919.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1701-00661,
author = {Masanao Ozawa},
editor = {Ross Duncan and
Chris Heunen},
title = {Operational Meanings of Orders of Observables Defined through Quantum
Set Theories with Different Conditionals},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {127--144},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.9},
doi = {10.4204/EPTCS.236.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1701-00661.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1701-00664,
author = {Alexander Wilce},
editor = {Ross Duncan and
Chris Heunen},
title = {A Royal Road to Quantum Theory (or Thereabouts), Extended Abstract},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {245--254},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.16},
doi = {10.4204/EPTCS.236.16},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1701-00664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AbramskyH15,
author = {Samson Abramsky and
Dominic Horsman},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {{DEMONIC} programming: a computational language for single-particle
equilibrium thermodynamics, and its formal semantics},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {1--16},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.1},
doi = {10.4204/EPTCS.195.1},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AbramskyH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BadescuP15,
author = {Costin Badescu and
Prakash Panangaden},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Quantum Alternation: Prospects and Problems},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {33--42},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.3},
doi = {10.4204/EPTCS.195.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BadescuP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoenderKN15,
author = {Jaap Boender and
Florian Kamm{\"{u}}ller and
Rajagopal Nagarajan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Formalization of Quantum Protocols using Coq},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {71--83},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.6},
doi = {10.4204/EPTCS.195.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoenderKN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Brunet15,
author = {Olivier Brunet},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Logic of Quantum Measurement},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {84--95},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.7},
doi = {10.4204/EPTCS.195.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Brunet15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ChiribellaS15,
author = {Giulio Chiribella and
Carlo Maria Scandolo},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Operational axioms for diagonalizing states},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {96--115},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.8},
doi = {10.4204/EPTCS.195.8},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChiribellaS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho0WW15,
author = {Kenta Cho and
Bart Jacobs and
Bas Westerbaan and
Bram Westerbaan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Quotient-Comprehension Chains},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {136--147},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.10},
doi = {10.4204/EPTCS.195.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho0WW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho15,
author = {Kenta Cho},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Total and Partial Computation in Categorical Quantum Foundations},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {116--135},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.9},
doi = {10.4204/EPTCS.195.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CunninghamH15,
author = {Oscar Cunningham and
Chris Heunen},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Axiomatizing complete positivity},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {148--157},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.11},
doi = {10.4204/EPTCS.195.11},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CunninghamH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FongN15,
author = {Brendan Fong and
Hugo Nava{-}Kopp},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Additive monotones for resource theories of parallel-combinable processes
with discarding},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {170--178},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.13},
doi = {10.4204/EPTCS.195.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FongN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Furber013,
author = {Robert Furber and
Bart Jacobs},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Towards a Categorical Account of Conditional Probability},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {179--195},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.14},
doi = {10.4204/EPTCS.195.14},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Furber013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Gogioso15b,
author = {Stefano Gogioso},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Bestiary of Sets and Relations},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {208--227},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.16},
doi = {10.4204/EPTCS.195.16},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Gogioso15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeunenT15,
author = {Chris Heunen and
Sean Tull},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Categories of relations as models of quantum theory},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {247--261},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.18},
doi = {10.4204/EPTCS.195.18},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Honda15a,
author = {Kentaro Honda},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Analysis of Quantum Entanglement in Quantum Programs using Stabilizer
Formalism},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {262--272},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.19},
doi = {10.4204/EPTCS.195.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Honda15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden15,
author = {Daniel Marsden},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Graph Theoretic Perspective on CPM(Rel)},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {273--284},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.20},
doi = {10.4204/EPTCS.195.20},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Quick15,
author = {David Quick},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Encoding !-tensors as !-graphs with neighbourhood orders},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {307--320},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.23},
doi = {10.4204/EPTCS.195.23},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Quick15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1409-1020,
author = {Robert Furber and
Bas Westerbaan},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Unordered Tuples in Quantum Computation},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {196--207},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.15},
doi = {10.4204/EPTCS.195.15},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1409-1020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1506-02675,
author = {Stefano Gogioso and
William Zeng},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Mermin Non-Locality in Abstract Process Theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {228--246},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.17},
doi = {10.4204/EPTCS.195.17},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1506-02675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1506-07850,
author = {Matthew F. Pusey and
Matthew S. Leifer},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Logical pre- and post-selection paradoxes are proofs of contextuality},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {295--306},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.22},
doi = {10.4204/EPTCS.195.22},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1506-07850.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-02117,
author = {Tim N. Palmer},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Invariant Set Theory: Violating Measurement Independence without Fine
Tuning, Conspiracy, Constraints on Free Will or Retrocausality},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {285--294},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.21},
doi = {10.4204/EPTCS.195.21},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-02117.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-03854,
author = {Miriam Backens},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Making the stabilizer ZX-calculus complete for scalars},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {17--32},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.2},
doi = {10.4204/EPTCS.195.2},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-03854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1507-06278,
author = {Howard Barnum and
Matthew A. Graydon and
Alexander Wilce},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Some Nearly Quantum Theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {59--70},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.5},
doi = {10.4204/EPTCS.195.5},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1507-06278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1508-03107,
author = {Howard Barnum and
Jonathan Barrett and
Marius Krumm and
Markus P. M{\"{u}}ller},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Entropy, majorization and thermodynamics in general probabilistic
theories},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {43--58},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.4},
doi = {10.4204/EPTCS.195.4},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1508-03107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1511-01571,
author = {Benjamin Eva},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Towards a Paraconsistent Quantum Set Theory},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {158--169},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.12},
doi = {10.4204/EPTCS.195.12},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1511-01571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HeunenSV15,
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195},
doi = {10.4204/EPTCS.195},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/HeunenSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Adams14,
author = {Robin Adams},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {{QPEL:} Quantum Program and Effect Language},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {133--153},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.10},
doi = {10.4204/EPTCS.172.10},
timestamp = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/Adams14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Atzemoglou14,
author = {George Philip Atzemoglou},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The dagger lambda calculus},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {217--235},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.15},
doi = {10.4204/EPTCS.172.15},
timestamp = {Thu, 19 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Atzemoglou14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarV14a,
author = {Krzysztof Bar and
Jamie Vicary},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution
and the Mean King Problem},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {316--332},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.23},
doi = {10.4204/EPTCS.172.23},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Barbosa14,
author = {Rui Soares Barbosa},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {On monogamy of non-locality and macroscopic averages: examples and
preliminary results},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {36--55},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.4},
doi = {10.4204/EPTCS.172.4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Barbosa14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chiribella14a,
author = {Giulio Chiribella},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Dilation of states and processes in operational-probabilistic theories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {1--14},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.1},
doi = {10.4204/EPTCS.172.1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chiribella14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Cho14c,
author = {Kenta Cho},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Semantics for a Quantum Programming Language by Operator Algebras},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {165--190},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.12},
doi = {10.4204/EPTCS.172.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cho14c.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 = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Coecke14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Delpeuch14,
author = {Antonin Delpeuch},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Complexity of Grammar Induction for Quantum Types},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {236--248},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.16},
doi = {10.4204/EPTCS.172.16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Delpeuch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HeunenVW14,
author = {Chris Heunen and
Jamie Vicary and
Linde Wester},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Mixed quantum states in higher categories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {304--315},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.22},
doi = {10.4204/EPTCS.172.22},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KartsaklisS14,
author = {Dimitri Kartsaklis and
Mehrnoosh Sadrzadeh},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A Study of Entanglement in a Categorical Framework of Natural Language},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {249--261},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.17},
doi = {10.4204/EPTCS.172.17},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KartsaklisS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Kishida14,
author = {Kohei Kishida},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Stochastic Relational Presheaves and Dynamic Logic for Contextuality},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {115--132},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.9},
doi = {10.4204/EPTCS.172.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Kishida14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KissingerQ14,
author = {Aleks Kissinger and
David Quick},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Tensors, !-graphs, and non-commutative quantum structures},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {56--67},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.5},
doi = {10.4204/EPTCS.172.5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KissingerQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ozawa14,
author = {Masanao Ozawa},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Quantum Set Theory Extending the Standard Probabilistic Interpretation
of Quantum Theory (Extended Abstract)},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {15--26},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.2},
doi = {10.4204/EPTCS.172.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ozawa14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Takisaka14,
author = {Toru Takisaka},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {On G{\'{a}}cs' quantum algorithmic entropy},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {204--216},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.14},
doi = {10.4204/EPTCS.172.14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Takisaka14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/UijlenW14,
author = {Sander Uijlen and
Bas Westerbaan},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {A Kochen-Specker system has at least 22 vectors (extended abstract)},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {154--164},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.11},
doi = {10.4204/EPTCS.172.11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/UijlenW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/WittZ14,
author = {Christian Schr{\"{o}}der de Witt and
Vladimir Zamdzhiev},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The {ZX} calculus is incomplete for quantum mechanics},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {285--292},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.20},
doi = {10.4204/EPTCS.172.20},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/WittZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/YasudaKK14,
author = {Kazuya Yasuda and
Takahiro Kubota and
Yoshihiko Kakutani},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Observational Equivalence Using Schedulers for Quantum Processes},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {191--203},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.13},
doi = {10.4204/EPTCS.172.13},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YasudaKK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ZengV14,
author = {W. J. Zeng and
Jamie Vicary},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Abstract structure of unitary oracles for quantum algorithms},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {270--284},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.19},
doi = {10.4204/EPTCS.172.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZengV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1404-1288,
author = {Andr{\'{e}} Ranchin},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Depicting qudit quantum mechanics and mutually unbiased qudit theories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {68--91},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.6},
doi = {10.4204/EPTCS.172.6},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1404-1288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1405-2618,
author = {Jason Morton},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Belief propagation in monoidal categories},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {262--269},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.18},
doi = {10.4204/EPTCS.172.18},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1405-2618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1406-3056,
author = {Quanlong Wang and
Xiaoning Bian},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Qutrit Dichromatic Calculus and Its Universality},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {92--101},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.7},
doi = {10.4204/EPTCS.172.7},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1406-3056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8549,
author = {Shane Mansfield},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {Reflections on the {PBR} Theorem: Reality Criteria {\&} Preparation
Independence},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {102--114},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.8},
doi = {10.4204/EPTCS.172.8},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8549.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8553,
author = {Miriam Backens},
editor = {Bob Coecke and
Ichiro Hasuo and
Prakash Panangaden},
title = {The ZX-calculus is complete for the single-qubit Clifford+T group},
booktitle = {Proceedings of the 11th workshop on Quantum Physics and Logic, {QPL}
2014, Kyoto, Japan, 4-6th June 2014},
series = {{EPTCS}},
volume = {172},
pages = {293--303},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.172.21},
doi = {10.4204/EPTCS.172.21},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8553.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}
}
@proceedings{DBLP:journals/corr/DuncanP14,
editor = {Ross Duncan and
Prakash Panangaden},
title = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.158},
doi = {10.4204/EPTCS.158},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DuncanL13,
author = {Ross Duncan and
Maxime Lucas},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Verifying the Steane code with Quantomatic},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {33--49},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.4},
doi = {10.4204/EPTCS.171.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DuncanP13,
author = {Ross Duncan and
Simon Perdrix},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Pivoting makes the ZX-calculus complete for real stabilizers},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {50--62},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.5},
doi = {10.4204/EPTCS.171.5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DuncanP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden14a,
author = {Daniel Marsden},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Fibred Coalgebraic Logic and Quantum Protocols},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {90--99},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.9},
doi = {10.4204/EPTCS.171.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Maruyama14,
author = {Yoshihiro Maruyama},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Duality Theory and Categorical Universal Logic: With Emphasis on Quantum
Structures},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {100--112},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.10},
doi = {10.4204/EPTCS.171.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Maruyama14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Preller14,
author = {Anne Preller},
editor = {Bob Coecke and
Matty J. Hoban},
title = {From Logical to Distributional Models},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {113--131},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.11},
doi = {10.4204/EPTCS.171.11},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Preller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Roumen14a,
author = {Frank Roumen},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Categorical characterizations of operator-valued measures},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {132--144},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.12},
doi = {10.4204/EPTCS.171.12},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Roumen14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-3125,
author = {Joonwoo Bae},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Distinguishability, Ensemble Steering, and the No-Signaling Principle},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {26--32},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.3},
doi = {10.4204/EPTCS.171.3},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-3125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1307-0145,
author = {Tobias Fritz and
Anthony Leverrier and
Ana Bel{\'{e}}n Sainz},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Probabilistic models on contextuality scenarios},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {63--70},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.6},
doi = {10.4204/EPTCS.171.6},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1307-0145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1308-4557,
author = {Chris Heunen and
Aleks Kissinger and
Peter Selinger},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Completely positive projections and biproducts},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {71--83},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.7},
doi = {10.4204/EPTCS.171.7},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1308-4557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-5213,
author = {Samson Abramsky and
Carmen M. Constantin},
editor = {Bob Coecke and
Matty J. Hoban},
title = {A classification of multipartite states by degree of non-locality},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {10--25},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.2},
doi = {10.4204/EPTCS.171.2},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-5213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8523,
author = {Samson Abramsky and
Adam Brandenburger and
Andrei Savochkin},
editor = {Bob Coecke and
Matty J. Hoban},
title = {No-Signalling Is Equivalent To Free Choice of Measurements},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {1--9},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.1},
doi = {10.4204/EPTCS.171.1},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8523.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1412-8524,
author = {Peter Janotta and
Raymond Lal},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Non-locality in theories without the no-restriction hypothesis},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {84--89},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.8},
doi = {10.4204/EPTCS.171.8},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1412-8524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BarrK14,
author = {Katie Barr and
Viv Kendon},
editor = {Ross Duncan and
Prakash Panangaden},
title = {The expressive power of quantum walks in terms of language acceptance},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {39--51},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.4},
doi = {10.4204/EPTCS.158.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarrK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BernardinelloFP14,
author = {Luca Bernardinello and
Carlo Ferigato and
Lucia Pomello},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Between quantum logic and concurrency},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {65--75},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.6},
doi = {10.4204/EPTCS.158.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BernardinelloFP14.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}
}
@inproceedings{DBLP:journals/corr/Hermens14,
author = {Ronnie Hermens},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Speakable in quantum mechanics: babbling on},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {53--64},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.5},
doi = {10.4204/EPTCS.158.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hermens14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Roumen14,
author = {Frank Roumen},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Coalgebraic Quantum Computation},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {29--38},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.3},
doi = {10.4204/EPTCS.158.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Roumen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SchreiberS14,
author = {Urs Schreiber and
Michael Shulman},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Quantum Gauge Field Theory in Cohesive Homotopy Type Theory},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {109--126},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.8},
doi = {10.4204/EPTCS.158.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SchreiberS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-2896,
author = {Simon J. Gay and
Ittoop Vergheese Puthoor},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Application of Quantum Process Calculus to Higher Dimensional Quantum
Protocols},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {15--28},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.2},
doi = {10.4204/EPTCS.158.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2896.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1310-0705,
author = {Bas Spitters and
Steven Vickers and
Sander Wolters},
editor = {Ross Duncan and
Prakash Panangaden},
title = {Gelfand spectra in Grothendieck toposes using geometric mathematics},
booktitle = {Proceedings 9th Workshop on Quantum Physics and Logic, {QPL} 2012,
Brussels, Belgium, 10-12 October 2012},
series = {{EPTCS}},
volume = {158},
pages = {77--107},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.158.7},
doi = {10.4204/EPTCS.158.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1310-0705.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/0001M11,
author = {Bart Jacobs and
Jorik Mandemaker},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {The Expectation Monad in Quantum Foundations},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {143--182},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.12},
doi = {10.4204/EPTCS.95.12},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001M11.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:journals/corr/abs-1101-5924,
author = {Benno van den Berg and
Chris Heunen},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {No-go theorems for functorial localic spectra of noncommutative rings},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {21--25},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.3},
doi = {10.4204/EPTCS.95.3},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1101-5924.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/abs-1111-3620,
author = {Samson Abramsky and
Shane Mansfield and
Rui Soares Barbosa},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {The Cohomology of Non-Locality and Contextuality},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {1--14},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.1},
doi = {10.4204/EPTCS.95.1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-3620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0611,
author = {James Barratt},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {On the Automation of Encoding Processes in the Quantum {IO} Monad},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {15--19},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.2},
doi = {10.4204/EPTCS.95.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0612,
author = {John V. Corbett},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {A Topos Theory Foundation for Quantum Mechanics},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {37--53},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.5},
doi = {10.4204/EPTCS.95.5},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0613,
author = {Ugo Dal Lago and
Claudia Faggian},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {On Multiplicative Linear Logic, Modality and Quantum Circuits},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {55--66},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.6},
doi = {10.4204/EPTCS.95.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0613.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0614,
author = {Timothy A. S. Davidson and
Simon J. Gay and
Rajagopal Nagarajan and
Ittoop Vergheese Puthoor},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Analysis of a Quantum Error Correcting Code using Quantum Process
Calculus},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {67--80},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.7},
doi = {10.4204/EPTCS.95.7},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0615,
author = {Bertfried Fauser and
Guillaume Raynaud and
Steven Vickers},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {The Born rule as structure of spectral bundles (extended abstract)},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {81--90},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.8},
doi = {10.4204/EPTCS.95.8},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0616,
author = {Chris Heunen and
Sergio Boixo},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Completely positive classical structures and sequentializable quantum
protocols},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {91--101},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.9},
doi = {10.4204/EPTCS.95.9},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0616.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0617,
author = {Kentaro Honda},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Graphical Classification of Entangled Qutrits},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {123--141},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.11},
doi = {10.4204/EPTCS.95.11},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0618,
author = {Peter Janotta},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Generalizations of Boxworld},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {183--192},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.13},
doi = {10.4204/EPTCS.95.13},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0619,
author = {Joost Nuiten},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Bohrification of local nets},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {211--218},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.15},
doi = {10.4204/EPTCS.95.15},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0619.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0620,
author = {Robert Raussendorf and
Pradeep Kiran Sarvepalli and
Tzu{-}Chieh Wei and
Poya Haghnegahdar},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Symmetry constraints on temporal order in measurement-based quantum
computation},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {219--250},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.16},
doi = {10.4204/EPTCS.95.16},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0620.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0621,
author = {Susan Stepney and
Viv Kendon and
Peter Hines and
Angelika Sebald},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {A Framework for Heterotic Computing},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {263--273},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.18},
doi = {10.4204/EPTCS.95.18},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0621.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0622,
author = {Alexander Wilce},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Symmetry and Self-Duality in Categories of Probabilistic Models},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {275--279},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.19},
doi = {10.4204/EPTCS.95.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0622.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-0650,
author = {Anne Hillebrand},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Superdense Coding with {GHZ} and Quantum Key Distribution with {W}
in the ZX-calculus},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {103--121},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.10},
doi = {10.4204/EPTCS.95.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0650.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-1097,
author = {Yun Shang and
Xian Lu and
Ruqian Lu},
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Turing machines based on unsharp quantum logic},
booktitle = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
pages = {251--261},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95.17},
doi = {10.4204/EPTCS.95.17},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-1097.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}
}
@proceedings{DBLP:journals/corr/abs-1210-0298,
editor = {Bart Jacobs and
Peter Selinger and
Bas Spitters},
title = {Proceedings 8th International Workshop on Quantum Physics and Logic,
{QPL} 2011, Nijmegen, Netherlands, October 27-29, 2011},
series = {{EPTCS}},
volume = {95},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.95},
doi = {10.4204/EPTCS.95},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbasiniSW11,
author = {Luisa de Francesco Albasini and
Nicoletta Sabadini and
Robert F. C. Walters},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {An Algebra of Automata That Includes Both Classical and Quantum Entities},
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 = {263--272},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.036},
doi = {10.1016/J.ENTCS.2011.01.036},
timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbasiniSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrighiD11,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Scalar System {F} for Linear-Algebraic {\(\lambda\)}-Calculus: Towards
a Quantum Physical Logic},
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 = {219--229},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.033},
doi = {10.1016/J.ENTCS.2011.01.033},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArrighiD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaltagS11,
author = {Alexandru Baltag and
Sonja Smets},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Correlated Information: {A} Logic for Multi-Partite Quantum Systems},
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 = {3--14},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.020},
doi = {10.1016/J.ENTCS.2011.01.020},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaltagS11.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/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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CoeckePS11.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}
}
@inproceedings{DBLP:journals/entcs/CrowderM11,
author = {Tanner Crowder and
Keye Martin},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Classical Representations of Qubit Channels},
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 = {37--58},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.022},
doi = {10.1016/J.ENTCS.2011.01.022},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CrowderM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Doring11,
author = {Andreas D{\"{o}}ring},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Topos Quantum Logic and Mixed States},
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 = {59--77},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.023},
doi = {10.1016/J.ENTCS.2011.01.023},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Doring11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeunenJ11,
author = {Chris Heunen and
Bart Jacobs},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Quantum Logic in Dagger Kernel Categories},
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 = {79--103},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.024},
doi = {10.1016/J.ENTCS.2011.01.024},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeunenJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JoyalK11,
author = {Andr{\'{e}} Joyal and
Joachim Kock},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories
(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 = {105--113},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.025},
doi = {10.1016/J.ENTCS.2011.01.025},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JoyalK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LagoMZ11,
author = {Ugo Dal Lago and
Andrea Masini and
Margherita Zorzi},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Confluence Results for a Quantum Lambda Calculus with Measurements},
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 = {251--261},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.035},
doi = {10.1016/J.ENTCS.2011.01.035},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LagoMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Palmer11,
author = {Tim N. Palmer},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {The Invariant Set Hypothesis: {A} New Geometric Framework for the
Foundations of Quantum Theory and the Role Played by Gravity},
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 = {115--119},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.026},
doi = {10.1016/J.ENTCS.2011.01.026},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Palmer11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pavlovic11,
author = {Dusko Pavlovic},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Relating Toy Models of Quantum Computation: Comprehension, Complementarity
and Dagger Mix Autonomous Categories},
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 = {121--139},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.027},
doi = {10.1016/J.ENTCS.2011.01.027},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pavlovic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PrellerS11,
author = {Anne Preller and
Mehrnoosh Sadrzadeh},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Bell States and Negative Sentences in the Distributed Model of Meaning},
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 = {141--153},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.028},
doi = {10.1016/J.ENTCS.2011.01.028},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PrellerS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SalekSK11,
author = {S. Salek and
F. Seifan and
Elham Kashefi},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Programmable Hamiltonian for One-way Patterns},
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 = {155--161},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.029},
doi = {10.1016/J.ENTCS.2011.01.029},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SalekSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Vicary11a,
author = {Jamie Vicary},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Categorical Properties of The Complex Numbers},
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 = {163--189},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.030},
doi = {10.1016/J.ENTCS.2011.01.030},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vicary11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Wilce11,
author = {Alexander Wilce},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Symmetry and Composition in Probabilistic Theories},
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 = {191--207},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.031},
doi = {10.1016/J.ENTCS.2011.01.031},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Wilce11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/WoottonP11,
author = {James R. Wootton and
Jiannis K. Pachos},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Universal Quantum Computation with Abelian Anyon Models},
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 = {209--218},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.032},
doi = {10.1016/J.ENTCS.2011.01.032},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/WoottonP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BarnumW11,
author = {Howard Barnum and
Alexander Wilce},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Information Processing in Convex Operational Theories},
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 = {3--15},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.002},
doi = {10.1016/J.ENTCS.2011.01.002},
timestamp = {Fri, 10 Mar 2023 13:02:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BarnumW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BernardinelloPR11,
author = {Luca Bernardinello and
Lucia Pomello and
Stefania Rombol{\`{a}}},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {On Orthomodular Posets Generated by Transition Systems},
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 = {147--154},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.013},
doi = {10.1016/J.ENTCS.2011.01.013},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BernardinelloPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Blakey11,
author = {Ed Blakey},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Computational Complexity in Non-Turing Models of Computation: The
What, the Why and the How},
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 = {17--28},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.003},
doi = {10.1016/J.ENTCS.2011.01.003},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Blakey11.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/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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CoeckeMPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DHondtS11,
author = {Ellie D'Hondt and
Mehrnoosh Sadrzadeh},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Classical Knowledge for Quantum Security},
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 = {155--163},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.014},
doi = {10.1016/J.ENTCS.2011.01.014},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DHondtS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Delbecque11,
author = {Yannick Delbecque},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Game Semantics for Quantum Data},
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 = {41--57},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.005},
doi = {10.1016/J.ENTCS.2011.01.005},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Delbecque11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Diaz-CaroAGG11,
author = {Alejandro D{\'{\i}}az{-}Caro and
Pablo Arrighi and
Manuel Gadella and
Jonathan Grattage},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Measurements and Confluence in Quantum Lambda Calculi With Explicit
Qubits},
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 = {59--74},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.006},
doi = {10.1016/J.ENTCS.2011.01.006},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Diaz-CaroAGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Grattage11,
author = {Jonathan Grattage},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {An Overview of {QML} With a Concrete Implementation in Haskell},
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 = {165--174},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.015},
doi = {10.1016/J.ENTCS.2011.01.015},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Grattage11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Maccone11,
author = {Lorenzo Maccone},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {The Thermodynamic Arrow-of-time and Quantum Mechanics},
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 = {75--79},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.007},
doi = {10.1016/J.ENTCS.2011.01.007},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Maccone11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Martin11,
author = {Keye Martin},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {How to Randomly Flip a Quantum Bit},
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 = {81--97},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.008},
doi = {10.1016/J.ENTCS.2011.01.008},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Martin11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Perdrix11,
author = {Simon Perdrix},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness
Condition},
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 = {99--111},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.009},
doi = {10.1016/J.ENTCS.2011.01.009},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Perdrix11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selinger11,
author = {Peter Selinger},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Finite Dimensional Hilbert Spaces are Complete for Dagger Compact
Closed 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 = {113--119},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.010},
doi = {10.1016/J.ENTCS.2011.01.010},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selinger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/TavalaNB11,
author = {Amir M. Tavala and
Soroosh Nazem and
Ali A. Babaei{-}Brojeny},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Verification of Quantum Protocols with a Probabilistic Model-Checker},
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 = {175--182},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.016},
doi = {10.1016/J.ENTCS.2011.01.016},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/TavalaNB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Valiron11,
author = {Beno{\^{\i}}t Valiron},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {On Quantum and Probabilistic Linear Lambda-calculi (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 = {121--128},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.011},
doi = {10.1016/J.ENTCS.2011.01.011},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Valiron11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Vicary11,
author = {Jamie Vicary},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Categorical Formulation of Finite-dimensional C*-algebras},
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 = {129--145},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.012},
doi = {10.1016/J.ENTCS.2011.01.012},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vicary11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VizzottoB11,
author = {Juliana Kaizer Vizzotto and
Andr{\'{e}} Rauber Du Bois},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Modelling Parallel Quantum Computing Using Transactional Memory},
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 = {183--190},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.017},
doi = {10.1016/J.ENTCS.2011.01.017},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VizzottoB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Voufo11,
author = {Larisse Voufo},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Quantum Circuits: From a Network to a One-Way Model},
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 = {191--210},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.018},
doi = {10.1016/J.ENTCS.2011.01.018},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Voufo11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qpl/2006,
editor = {Peter Selinger},
title = {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},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/210/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qpl/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qpl/2005,
editor = {Peter Selinger},
title = {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},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/170/suppl/C},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qpl/2005.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/Delbecque08,
author = {Yannick Delbecque},
editor = {Peter Selinger},
title = {A Quantum Game Semantics for the Measurement Calculus},
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 = {33--48},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.016},
doi = {10.1016/J.ENTCS.2008.04.016},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Delbecque08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GreenA08,
author = {Alexander S. Green and
Thorsten Altenkirch},
editor = {Peter Selinger},
title = {From Reversible to Irreversible Computations},
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 = {65--74},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.018},
doi = {10.1016/J.ENTCS.2008.04.018},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GreenA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JorrandP08,
author = {Philippe Jorrand and
Simon Perdrix},
editor = {Peter Selinger},
title = {Towards a Quantum Calculus: (Work in Progress, Extended Abstract)},
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 = {75--83},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.019},
doi = {10.1016/J.ENTCS.2008.04.019},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JorrandP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LampisGPP08,
author = {Michael Lampis and
Kyriakos G. Ginis and
Michalis A. Papakyriakou and
Nikolaos S. Papaspyrou},
editor = {Peter Selinger},
title = {Quantum Data and Control Made Easier},
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 = {85--105},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.020},
doi = {10.1016/J.ENTCS.2008.04.020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LampisGPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PierroW08,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Peter Selinger},
title = {Semantic Abstraction and Quantum Computation},
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 = {49--63},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.017},
doi = {10.1016/J.ENTCS.2008.04.017},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PierroW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selinger08,
author = {Peter Selinger},
editor = {Peter Selinger},
title = {Preface},
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 = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.013},
doi = {10.1016/J.ENTCS.2008.04.013},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selinger08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selinger08a,
author = {Peter Selinger},
editor = {Peter Selinger},
title = {Idempotents in Dagger Categories: (Extended Abstract)},
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 = {107--122},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.021},
doi = {10.1016/J.ENTCS.2008.04.021},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selinger08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SelingerV08,
author = {Peter Selinger and
Beno{\^{\i}}t Valiron},
editor = {Peter Selinger},
title = {On a Fully Abstract Model for a Quantum Linear Functional Language:
(Extended Abstract)},
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 = {123--137},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.022},
doi = {10.1016/J.ENTCS.2008.04.022},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SelingerV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VizzottoCS08,
author = {Juliana Kaizer Vizzotto and
Ant{\^{o}}nio Carlos da Rocha Costa and
Amr Sabry},
editor = {Peter Selinger},
title = {Quantum Arrows in Haskell},
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 = {139--152},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.023},
doi = {10.1016/J.ENTCS.2008.04.023},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VizzottoCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AdaoM07,
author = {Pedro Ad{\~{a}}o and
Paulo Mateus},
editor = {Peter Selinger},
title = {A Process Algebra for Reasoning About Quantum Security},
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 = {3--21},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.009},
doi = {10.1016/J.ENTCS.2006.12.009},
timestamp = {Tue, 24 Jan 2023 11:28:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AdaoM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AltenkirchGVS07,
author = {Thorsten Altenkirch and
Jonathan Grattage and
Juliana Kaizer Vizzotto and
Amr Sabry},
editor = {Peter Selinger},
title = {An Algebra of Pure Quantum Programming},
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 = {23--47},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.010},
doi = {10.1016/J.ENTCS.2006.12.010},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AltenkirchGVS07.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 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Coecke07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosDKP07,
author = {Vincent Danos and
Ellie D'Hondt and
Elham Kashefi and
Prakash Panangaden},
editor = {Peter Selinger},
title = {Distributed Measurement-based Quantum Computation},
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 = {73--94},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.012},
doi = {10.1016/J.ENTCS.2006.12.012},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosDKP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DanosK07,
author = {Vincent Danos and
Elham Kashefi},
editor = {Peter Selinger},
title = {Pauli Measurements are Universal},
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 = {95--100},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.013},
doi = {10.1016/J.ENTCS.2006.12.013},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DanosK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NagarajanPW07,
author = {Rajagopal Nagarajan and
Nikolaos Papanikolaou and
David Williams},
editor = {Peter Selinger},
title = {Simulating and Compiling Code for the Sequential Quantum Random Access
Machine},
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 = {101--124},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.014},
doi = {10.1016/J.ENTCS.2006.12.014},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NagarajanPW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Perdrix07,
author = {Simon Perdrix},
editor = {Peter Selinger},
title = {Quantum Patterns and Types for Entanglement and Separability},
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 = {125--138},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.015},
doi = {10.1016/J.ENTCS.2006.12.015},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Perdrix07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selinger07,
author = {Peter Selinger},
editor = {Peter Selinger},
title = {Preface},
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 = {1},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.008},
doi = {10.1016/J.ENTCS.2006.12.008},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selinger07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Selinger07a,
author = {Peter Selinger},
editor = {Peter Selinger},
title = {Dagger Compact Closed Categories and Completely Positive Maps: (Extended
Abstract)},
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 = {139--163},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.018},
doi = {10.1016/J.ENTCS.2006.12.018},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Selinger07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Unruh07,
author = {Dominique Unruh},
editor = {Peter Selinger},
title = {Quantum Programs With Classical Output Streams: (Extended Abstract)},
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 = {165--184},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.016},
doi = {10.1016/J.ENTCS.2006.12.016},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Unruh07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Zuliani07,
author = {Paolo Zuliani},
editor = {Peter Selinger},
title = {Quantum Programming With Mixed States},
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 = {185--199},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.12.017},
doi = {10.1016/J.ENTCS.2006.12.017},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Zuliani07.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.
retrieved on 2025-02-01 22:32 CET from data curated 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:
