default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jamie Vicary
@inproceedings{DBLP:conf/fscd/CorbynHHSTV24,
author = {Nathan Corbyn and
Lukas Heidemann and
Nick Hu and
Chiara Sarti and
Calin Tataru and
Jamie Vicary},
editor = {Jakob Rehof},
title = {homotopy.io: {A} Proof Assistant for Finitely-Presented Globular n-Categories},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {30:1--30:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.30},
doi = {10.4230/LIPICS.FSCD.2024.30},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/CorbynHHSTV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FinsterRV24,
author = {Eric Finster and
Alex Rice and
Jamie Vicary},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {A Syntax for Strictly Associative and Unital {\(\infty\)}-Categories},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {34:1--34:13},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662102},
doi = {10.1145/3661814.3662102},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FinsterRV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-13179,
author = {Nathan Corbyn and
Lukas Heidemann and
Nick Hu and
Chiara Sarti and
Calin Tataru and
Jamie Vicary},
title = {homotopy.io: a proof assistant for finitely-presented globular n-categories},
journal = {CoRR},
volume = {abs/2402.13179},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.13179},
doi = {10.48550/ARXIV.2402.13179},
eprinttype = {arXiv},
eprint = {2402.13179},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-13179.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2312-09264,
author = {Paulina L. A. Goedicke and
Jamie Vicary},
editor = {Sam Staton and
Christina Vasilakopoulou},
title = {A Categorical Model for Classical and Quantum Block Designs},
booktitle = {Proceedings of the Sixth International Conference on Applied Category
Theory 2023, {ACT} 2023, University of Maryland, 31 July - 4 August
2023},
series = {{EPTCS}},
volume = {397},
pages = {118--136},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.397.8},
doi = {10.4204/EPTCS.397.8},
timestamp = {Mon, 10 Jun 2024 17:01:47 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-09264.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2305-11637,
author = {Chiara Sarti and
Jamie Vicary},
editor = {Sam Staton and
Christina Vasilakopoulou},
title = {Posetal Diagrams for Logically-Structured Semistrict Higher Categories},
booktitle = {Proceedings of the Sixth International Conference on Applied Category
Theory 2023, {ACT} 2023, University of Maryland, 31 July - 4 August
2023},
series = {{EPTCS}},
volume = {397},
pages = {246--259},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.397.15},
doi = {10.4204/EPTCS.397.15},
timestamp = {Mon, 10 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11637.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-05303,
author = {Eric Finster and
Alex Rice and
Jamie Vicary},
title = {Strictly Associative and Unital {\textdollar}{\textbackslash}infty{\textdollar}-Categories
as a Generalized Algebraic Theory},
journal = {CoRR},
volume = {abs/2302.05303},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.05303},
doi = {10.48550/ARXIV.2302.05303},
eprinttype = {arXiv},
eprint = {2302.05303},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-05303.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DelpeuchV22,
author = {Antonin Delpeuch and
Jamie Vicary},
title = {Normalization for planar string diagrams and a quadratic equivalence
algorithm},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:10)2022},
doi = {10.46298/LMCS-18(1:10)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/DelpeuchV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeidemannRV22,
author = {Lukas Heidemann and
David Reutter and
Jamie Vicary},
editor = {Christel Baier and
Dana Fisman},
title = {Zigzag normalisation for associative n-categories},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {35:1--35:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533352},
doi = {10.1145/3531130.3533352},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/HeidemannRV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FinsterRVR22,
author = {Eric Finster and
David Reutter and
Jamie Vicary and
Alex Rice},
editor = {Christel Baier and
Dana Fisman},
title = {A Type Theory for Strictly Unital {\(\infty\)}-Categories},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {48:1--48:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533363},
doi = {10.1145/3531130.3533363},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/FinsterRVR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-08952,
author = {Lukas Heidemann and
David Reutter and
Jamie Vicary},
title = {Zigzag normalisation for associative n-categories},
journal = {CoRR},
volume = {abs/2205.08952},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.08952},
doi = {10.48550/ARXIV.2205.08952},
eprinttype = {arXiv},
eprint = {2205.08952},
timestamp = {Mon, 23 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-08952.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2105-04237,
author = {Antonin Delpeuch and
Jamie Vicary},
editor = {Kohei Kishida},
title = {The Word Problem for Braided Monoidal Categories is Unknot-Hard},
booktitle = {Proceedings of the Fourth International Conference on Applied Category
Theory, {ACT} 2021, Cambridge, United Kingdom, 12-16th July 2021},
series = {{EPTCS}},
volume = {372},
pages = {72--87},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.372.6},
doi = {10.4204/EPTCS.372.6},
timestamp = {Mon, 10 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04237.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2112-14051,
author = {Nick Hu and
Jamie Vicary},
editor = {Ana Sokolova},
title = {Traced Monoidal Categories as Algebraic Structures in Prof},
booktitle = {Proceedings 37th Conference on Mathematical Foundations of Programming
Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th
August - 2nd September, 2021},
series = {{EPTCS}},
volume = {351},
pages = {84--97},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.351.6},
doi = {10.4204/EPTCS.351.6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2101-07888,
editor = {David I. Spivak and
Jamie Vicary},
title = {Proceedings of the 3rd Annual International Applied Category Theory
Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
series = {{EPTCS}},
volume = {333},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.333},
doi = {10.4204/EPTCS.333},
timestamp = {Fri, 05 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-07888.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01513,
author = {Eric Finster and
Alex Rice and
Jamie Vicary},
title = {A Type Theory for Strictly Associative Infinity Categories},
journal = {CoRR},
volume = {abs/2109.01513},
year = {2021},
url = {https://arxiv.org/abs/2109.01513},
eprinttype = {arXiv},
eprint = {2109.01513},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/Vicary20,
author = {Jamie Vicary},
title = {Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/{\textasciitilde}vicaryjo/owls},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {3},
pages = {45--46},
year = {2020},
url = {https://doi.org/10.1145/3436980.3436986},
doi = {10.1145/3436980.3436986},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siglog/Vicary20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08307,
author = {Eric Finster and
David Reutter and
Jamie Vicary},
title = {A Type Theory for Strictly Unital {\(\infty\)}-Categories},
journal = {CoRR},
volume = {abs/2007.08307},
year = {2020},
url = {https://arxiv.org/abs/2007.08307},
eprinttype = {arXiv},
eprint = {2007.08307},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08307.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ReutterV19,
author = {David Reutter and
Jamie Vicary},
title = {A classical groupoid model for quantum networks},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:32)2019},
doi = {10.23638/LMCS-15(1:32)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ReutterV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/DunnV19,
author = {Lawrence Dunn and
Jamie Vicary},
title = {Coherence for Frobenius pseudomonoids and the geometry of linear proofs},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {3},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(3:5)2019},
doi = {10.23638/LMCS-15(3:5)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/DunnV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ReutterV19,
author = {David Reutter and
Jamie Vicary},
title = {High-level methods for homotopy construction in associative n-categories},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785895},
doi = {10.1109/LICS.2019.8785895},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/ReutterV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BarKV18,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
title = {Globular: an online proof assistant for higher-dimensional rewriting},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {1},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(1:8)2018},
doi = {10.23638/LMCS-14(1:8)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BarKV18.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 = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-04042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07832,
author = {Antonin Delpeuch and
Jamie Vicary},
title = {Normal forms for planar connected string diagrams},
journal = {CoRR},
volume = {abs/1804.07832},
year = {2018},
url = {http://arxiv.org/abs/1804.07832},
eprinttype = {arXiv},
eprint = {1804.07832},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07832.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ReutterV17,
author = {David Reutter and
Jamie Vicary},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {A Classical Groupoid Model for Quantum Networks},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {19:1--19:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.19},
doi = {10.4230/LIPICS.CALCO.2017.19},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/calco/ReutterV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/ReutterV17a,
author = {David Reutter and
Jamie Vicary},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {A 2-Categorical Approach to Composing Quantum Structures},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {20:1--20:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.20},
doi = {10.4230/LIPICS.CALCO.2017.20},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/ReutterV17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BarV17,
author = {Krzysztof Bar and
Jamie Vicary},
title = {Data structures for quasistrict higher categories},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005147},
doi = {10.1109/LICS.2017.8005147},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/BarV17.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}
}
@article{DBLP:journals/qic/MustoV16,
author = {Benjamin Musto and
Jamie Vicary},
title = {Quantum Latin squares and unitary error bases},
journal = {Quantum Inf. Comput.},
volume = {16},
number = {15{\&}16},
pages = {1318--1332},
year = {2016},
url = {https://doi.org/10.26421/QIC16.15-16-4},
doi = {10.26421/QIC16.15-16-4},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/MustoV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BarKV16,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Globular: An Online Proof Assistant for Higher-Dimensional Rewriting},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {34:1--34:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.34},
doi = {10.4230/LIPICS.FSCD.2016.34},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/BarKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DunnV17,
author = {Lawrence Dunn and
Jamie Vicary},
editor = {Iliano Cervesato and
Maribel Fern{\'{a}}ndez},
title = {Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)},
booktitle = {Proceedings Fourth International Workshop on Linearity, {LINEARITY}
2016, Porto, Portugal, 25 June 2016},
series = {{EPTCS}},
volume = {238},
pages = {33--43},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.238.4},
doi = {10.4204/EPTCS.238.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DunnV17.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 = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1603-08866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DunnV16,
author = {Lawrence Dunn and
Jamie Vicary},
title = {Surface proofs for linear logic},
journal = {CoRR},
volume = {abs/1601.05372},
year = {2016},
url = {http://arxiv.org/abs/1601.05372},
eprinttype = {arXiv},
eprint = {1601.05372},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DunnV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BarKV16,
author = {Krzysztof Bar and
Aleks Kissinger and
Jamie Vicary},
title = {Globular: an online proof assistant for higher-dimensional rewriting},
journal = {CoRR},
volume = {abs/1612.01093},
year = {2016},
url = {http://arxiv.org/abs/1612.01093},
eprinttype = {arXiv},
eprint = {1612.01093},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarKV16.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/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 = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZengV14.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/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}
}
@article{DBLP:journals/corr/BarV14,
author = {Krzysztof Bar and
Jamie Vicary},
title = {Groupoid Semantics for Thermal Computing},
journal = {CoRR},
volume = {abs/1401.3280},
year = {2014},
url = {http://arxiv.org/abs/1401.3280},
eprinttype = {arXiv},
eprint = {1401.3280},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BarV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoeckePV13,
author = {Bob Coecke and
Dusko Pavlovic and
Jamie Vicary},
title = {A new description of orthogonal bases},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {3},
pages = {555--567},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000047},
doi = {10.1017/S0960129512000047},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CoeckePV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vicary13,
author = {Jamie Vicary},
title = {Topological Structure of Quantum Algorithms},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {93--102},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.14},
doi = {10.1109/LICS.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Vicary13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StayV13,
author = {Mike Stay and
Jamie Vicary},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {Bicategorical Semantics for Nondeterministic Computation},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {367--382},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.022},
doi = {10.1016/J.ENTCS.2013.09.022},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/StayV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3393,
author = {Mike Stay and
Jamie Vicary},
title = {Bicategorical Semantics for Nondeterministic Computation},
journal = {CoRR},
volume = {abs/1301.3393},
year = {2013},
url = {http://arxiv.org/abs/1301.3393},
eprinttype = {arXiv},
eprint = {1301.3393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-3393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Vicary12,
author = {Jamie Vicary},
title = {Higher Semantics of Quantum Protocols},
booktitle = {Proceedings of the 27th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2012, Dubrovnik, Croatia, June 25-28, 2012},
pages = {606--615},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/LICS.2012.70},
doi = {10.1109/LICS.2012.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Vicary12.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 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vicary11a.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 13:02:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Vicary11.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.
last updated on 2024-07-07 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
