Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chris Heunen
@article{DBLP:journals/pacmpl/CaretteHKS24,
author = {Jacques Carette and
Chris Heunen and
Robin Kaarsgaard and
Amr Sabry},
title = {With a Few Square Roots, Quantum Computing Is as Easy as Pi},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {546--574},
year = {2024},
url = {https://doi.org/10.1145/3632861},
doi = {10.1145/3632861},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CaretteHKS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/HeunenS23,
author = {Chris Heunen and
Jesse Sigal},
editor = {Roland Gl{\"{u}}ck and
Luigi Santocanale and
Michael Winter},
title = {Duoidally Enriched Freyd Categories},
booktitle = {Relational and Algebraic Methods in Computer Science - 20th International
Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13896},
pages = {241--257},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-28083-2\_15},
doi = {10.1007/978-3-031-28083-2\_15},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/HeunenS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05162,
author = {Chris Heunen and
Jesse Sigal},
title = {Duoidally enriched Freyd categories},
journal = {CoRR},
volume = {abs/2301.05162},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.05162},
doi = {10.48550/ARXIV.2301.05162},
eprinttype = {arXiv},
eprint = {2301.05162},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-05162.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-01885,
author = {Jacques Carette and
Chris Heunen and
Robin Kaarsgaard and
Amr Sabry},
title = {The Quantum Effect: {A} Recipe for QuantumPi},
journal = {CoRR},
volume = {abs/2302.01885},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.01885},
doi = {10.48550/ARXIV.2302.01885},
eprinttype = {arXiv},
eprint = {2302.01885},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-01885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-14056,
author = {Jacques Carette and
Chris Heunen and
Robin Kaarsgaard and
Amr Sabry},
title = {With a Few Square Roots, Quantum Computing is as Easy as {\(\Pi\)}},
journal = {CoRR},
volume = {abs/2310.14056},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.14056},
doi = {10.48550/ARXIV.2310.14056},
eprinttype = {arXiv},
eprint = {2310.14056},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-14056.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HeunenK22,
author = {Chris Heunen and
Aleks Kissinger},
title = {The {CBH} characterisation theorem beyond algebraic quantum theory},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104828},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104828},
doi = {10.1016/J.IC.2021.104828},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/HeunenK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HeunenK22,
author = {Chris Heunen and
Robin Kaarsgaard},
title = {Quantum information effects},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--27},
year = {2022},
url = {https://doi.org/10.1145/3498663},
doi = {10.1145/3498663},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HeunenK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ConstantinDH22,
author = {Carmen Constantin and
Nuiok Dicaire and
Chris Heunen},
editor = {Florin Manea and
Alex Simpson},
title = {Localisable Monads},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {15:1--15:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.15},
doi = {10.4230/LIPICS.CSL.2022.15},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/ConstantinDH22.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 11:34:29 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-04814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/HardingH21,
author = {John Harding and
Chris Heunen},
title = {Topos Quantum Theory with Short Posets},
journal = {Order},
volume = {38},
number = {1},
pages = {111--125},
year = {2021},
url = {https://doi.org/10.1007/s11083-020-09531-6},
doi = {10.1007/S11083-020-09531-6},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/HardingH21.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}
}
@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}
}
@article{DBLP:journals/corr/abs-2107-12144,
author = {Chris Heunen and
Robin Kaarsgaard},
title = {Quantum Information Effects},
journal = {CoRR},
volume = {abs/2107.12144},
year = {2021},
url = {https://arxiv.org/abs/2107.12144},
eprinttype = {arXiv},
eprint = {2107.12144},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-12144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-01756,
author = {Carmen Constantin and
Nuiok Dicaire and
Chris Heunen},
title = {Localisable Monads},
journal = {CoRR},
volume = {abs/2108.01756},
year = {2021},
url = {https://arxiv.org/abs/2108.01756},
eprinttype = {arXiv},
eprint = {2108.01756},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-01756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HeunenL19,
author = {Chris Heunen and
Bert Lindenhovius},
title = {Domains of commutative C*-subalgebras},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {7},
pages = {972--1006},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000464},
doi = {10.1017/S0960129518000464},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HeunenL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/order/HardingHLN19,
author = {John Harding and
Chris Heunen and
Bert Lindenhovius and
Mirko Navara},
title = {Boolean Subalgebras of Orthoalgebras},
journal = {Order},
volume = {36},
number = {3},
pages = {563--609},
year = {2019},
url = {https://doi.org/10.1007/s11083-019-09483-6},
doi = {10.1007/S11083-019-09483-6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/HardingHLN19.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}
}
@article{DBLP:journals/acs/HeunenP18,
author = {Chris Heunen and
Vaia Patta},
title = {The Category of Matroids},
journal = {Appl. Categorical Struct.},
volume = {26},
number = {2},
pages = {205--237},
year = {2018},
url = {https://doi.org/10.1007/s10485-017-9490-2},
doi = {10.1007/S10485-017-9490-2},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/HeunenP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ScibiorKVSYCOMH18,
author = {Adam {\'{S}}cibior and
Ohad Kammar and
Matthijs V{\'{a}}k{\'{a}}r and
Sam Staton and
Hongseok Yang and
Yufei Cai and
Klaus Ostermann and
Sean K. Moss and
Chris Heunen and
Zoubin Ghahramani},
title = {Denotational validation of higher-order Bayesian inference},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {60:1--60:29},
year = {2018},
url = {https://doi.org/10.1145/3158148},
doi = {10.1145/3158148},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ScibiorKVSYCOMH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeunenKK18,
author = {Chris Heunen and
Robin Kaarsgaard and
Martti Karvonen},
editor = {Sam Staton},
title = {Reversible Effects as Inverse Arrows},
booktitle = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
Canada, June 6-9, 2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {341},
pages = {179--199},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2018.11.009},
doi = {10.1016/J.ENTCS.2018.11.009},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HeunenKK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-08605,
author = {Chris Heunen and
Robin Kaarsgaard and
Martti Karvonen},
title = {Reversible effects as inverse arrows},
journal = {CoRR},
volume = {abs/1805.08605},
year = {2018},
url = {http://arxiv.org/abs/1805.08605},
eprinttype = {arXiv},
eprint = {1805.08605},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-08605.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/Heunen17,
author = {Chris Heunen},
title = {The Many Classical Faces of Quantum Structures},
journal = {Entropy},
volume = {19},
number = {4},
pages = {144},
year = {2017},
url = {https://doi.org/10.3390/e19040144},
doi = {10.3390/E19040144},
timestamp = {Tue, 14 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/Heunen17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeunenKSY17,
author = {Chris Heunen and
Ohad Kammar and
Sam Staton and
Hongseok Yang},
title = {A convenient category for higher-order probability theory},
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.8005137},
doi = {10.1109/LICS.2017.8005137},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HeunenKSY17.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 = {Wed, 29 May 2019 12:01:02 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1705-07652.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}
}
@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}
}
@article{DBLP:journals/corr/HeunenKSY17,
author = {Chris Heunen and
Ohad Kammar and
Sam Staton and
Hongseok Yang},
title = {A Convenient Category for Higher-Order Probability Theory},
journal = {CoRR},
volume = {abs/1701.02547},
year = {2017},
url = {http://arxiv.org/abs/1701.02547},
eprinttype = {arXiv},
eprint = {1701.02547},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenKSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-03219,
author = {Adam {\'{S}}cibior and
Ohad Kammar and
Matthijs V{\'{a}}k{\'{a}}r and
Sam Staton and
Hongseok Yang and
Yufei Cai and
Klaus Ostermann and
Sean K. Moss and
Chris Heunen and
Zoubin Ghahramani},
title = {Denotational validation of higher-order Bayesian inference},
journal = {CoRR},
volume = {abs/1711.03219},
year = {2017},
url = {http://arxiv.org/abs/1711.03219},
eprinttype = {arXiv},
eprint = {1711.03219},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-03219.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CoeckeH16,
author = {Bob Coecke and
Chris Heunen},
title = {Pictures of complete positivity in arbitrary dimension},
journal = {Inf. Comput.},
volume = {250},
pages = {50--58},
year = {2016},
url = {https://doi.org/10.1016/j.ic.2016.02.007},
doi = {10.1016/J.IC.2016.02.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CoeckeH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/CoeckeHK16,
author = {Bob Coecke and
Chris Heunen and
Aleks Kissinger},
title = {Categories of quantum and classical channels},
journal = {Quantum Inf. Process.},
volume = {15},
number = {12},
pages = {5179--5209},
year = {2016},
url = {https://doi.org/10.1007/s11128-014-0837-4},
doi = {10.1007/S11128-014-0837-4},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qip/CoeckeHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StatonYWHK16,
author = {Sam Staton and
Hongseok Yang and
Frank D. Wood and
Chris Heunen and
Ohad Kammar},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Semantics for probabilistic programming: higher-order functions, continuous
distributions, and soft constraints},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {525--534},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935313},
doi = {10.1145/2933575.2935313},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/StatonYWHK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StatonYHKW16,
author = {Sam Staton and
Hongseok Yang and
Chris Heunen and
Ohad Kammar and
Frank D. Wood},
title = {Semantics for probabilistic programming: higher-order functions, continuous
distributions, and soft constraints},
journal = {CoRR},
volume = {abs/1601.04943},
year = {2016},
url = {http://arxiv.org/abs/1601.04943},
eprinttype = {arXiv},
eprint = {1601.04943},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StatonYHKW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeunenK16,
author = {Chris Heunen and
Aleks Kissinger},
title = {Can quantum theory be characterized in information-theoretic terms?},
journal = {CoRR},
volume = {abs/1604.05948},
year = {2016},
url = {http://arxiv.org/abs/1604.05948},
eprinttype = {arXiv},
eprint = {1604.05948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HeunenL15,
author = {Chris Heunen and
Bert Lindenhovius},
title = {Domains of Commutative C-Subalgebras},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {450--461},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.49},
doi = {10.1109/LICS.2015.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HeunenL15.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/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/entcs/HeunenK15,
author = {Chris Heunen and
Martti Karvonen},
editor = {Dan R. Ghica},
title = {Reversible Monadic Computing},
booktitle = {The 31st Conference on the Mathematical Foundations of Programming
Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {319},
pages = {217--237},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2015.12.014},
doi = {10.1016/J.ENTCS.2015.12.014},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HeunenK15.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}
}
@article{DBLP:journals/corr/HeunenL15,
author = {Chris Heunen and
Bert Lindenhovius},
title = {Domains of commutative C*-subalgebras},
journal = {CoRR},
volume = {abs/1504.02730},
year = {2015},
url = {http://arxiv.org/abs/1504.02730},
eprinttype = {arXiv},
eprint = {1504.02730},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeunenK15,
author = {Chris Heunen and
Martti Karvonen},
title = {Reversible monadic computing},
journal = {CoRR},
volume = {abs/1505.04330},
year = {2015},
url = {http://arxiv.org/abs/1505.04330},
eprinttype = {arXiv},
eprint = {1505.04330},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Heunen14,
author = {Chris Heunen},
editor = {Javier Esparza and
Pierre Fraigniaud and
Thore Husfeldt and
Elias Koutsoupias},
title = {Piecewise Boolean Algebras and Their Domains},
booktitle = {Automata, Languages, and Programming - 41st International Colloquium,
{ICALP} 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {8573},
pages = {208--219},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-43951-7\_18},
doi = {10.1007/978-3-662-43951-7\_18},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Heunen14.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 = {Thu, 14 Oct 2021 09:15:50 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeunenVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Heunen14,
author = {Chris Heunen},
title = {Piecewise Boolean algebras and their domains},
journal = {CoRR},
volume = {abs/1404.6277},
year = {2014},
url = {http://arxiv.org/abs/1404.6277},
eprinttype = {arXiv},
eprint = {1404.6277},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Heunen14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BergH13,
author = {Benno van den Berg and
Chris Heunen},
title = {Erratum to: Noncommutativity as a Colimit},
journal = {Appl. Categorical Struct.},
volume = {21},
number = {1},
pages = {103--104},
year = {2013},
url = {https://doi.org/10.1007/s10485-012-9298-z},
doi = {10.1007/S10485-012-9298-Z},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BergH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CoeckeHK13,
author = {Bob Coecke and
Chris Heunen and
Aleks Kissinger},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Compositional Quantum Logic},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {21--36},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_3},
doi = {10.1007/978-3-642-38164-5\_3},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CoeckeHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Heunen13,
author = {Chris Heunen},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {On the Functor {\(\mathscr{l}\)}2},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {107--121},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_8},
doi = {10.1007/978-3-642-38164-5\_8},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Heunen13.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}
}
@book{DBLP:books/ox/13/HSG2013,
editor = {Chris Heunen and
Mehrnoosh Sadrzadeh and
Edward Grefenstette},
title = {Quantum Physics and Linguistics - {A} Compositional, Diagrammatic
Discourse},
publisher = {Oxford University Press},
year = {2013},
url = {https://doi.org/10.1093/acprof:oso/9780199646296.001.0001},
doi = {10.1093/ACPROF:OSO/9780199646296.001.0001},
isbn = {978-0-19-964629-6},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/ox/13/HSG2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/BergH12,
author = {Benno van den Berg and
Chris Heunen},
title = {Noncommutativity as a Colimit},
journal = {Appl. Categorical Struct.},
volume = {20},
number = {4},
pages = {393--414},
year = {2012},
url = {https://doi.org/10.1007/s10485-011-9246-3},
doi = {10.1007/S10485-011-9246-3},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/BergH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/HeunenLS12,
author = {Chris Heunen and
Nicolaas P. Landsman and
Bas Spitters},
title = {Bohrification of operator algebras and quantum logic},
journal = {Synth.},
volume = {186},
number = {3},
pages = {719--752},
year = {2012},
url = {https://doi.org/10.1007/s11229-011-9918-4},
doi = {10.1007/S11229-011-9918-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/HeunenLS12.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/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-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}
}
@article{DBLP:journals/order/HeunenJ10,
author = {Chris Heunen and
Bart Jacobs},
title = {Quantum Logic in Dagger Kernel Categories},
journal = {Order},
volume = {27},
number = {2},
pages = {177--212},
year = {2010},
url = {https://doi.org/10.1007/s11083-010-9145-5},
doi = {10.1007/S11083-010-9145-5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/order/HeunenJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JacobsHH09,
author = {Bart Jacobs and
Chris Heunen and
Ichiro Hasuo},
title = {Categorical semantics for arrows},
journal = {J. Funct. Program.},
volume = {19},
number = {3-4},
pages = {403--438},
year = {2009},
url = {https://doi.org/10.1017/S0956796809007308},
doi = {10.1017/S0956796809007308},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JacobsHH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/HasuoHJS09,
author = {Ichiro Hasuo and
Chris Heunen and
Bart Jacobs and
Ana Sokolova},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {Coalgebraic Components in a Many-Sorted Microcosm},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {64--80},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_6},
doi = {10.1007/978-3-642-03741-2\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/calco/HasuoHJS09.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 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeunenJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Heunen08,
author = {Chris Heunen},
title = {Compactly Accessible Categories and Quantum Key Distribution},
journal = {Log. Methods Comput. Sci.},
volume = {4},
number = {4},
year = {2008},
url = {https://doi.org/10.2168/LMCS-4(4:9)2008},
doi = {10.2168/LMCS-4(4:9)2008},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Heunen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heunen08,
author = {Chris Heunen},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Semimodule Enrichment},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {193--208},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.012},
doi = {10.1016/J.ENTCS.2008.10.012},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heunen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-2113,
author = {Chris Heunen},
title = {Compactly accessible categories and quantum key distribution},
journal = {CoRR},
volume = {abs/0811.2113},
year = {2008},
url = {http://arxiv.org/abs/0811.2113},
eprinttype = {arXiv},
eprint = {0811.2113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-2113.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeunenJ06,
author = {Chris Heunen and
Bart Jacobs},
editor = {Stephen D. Brookes and
Michael W. Mislove},
title = {Arrows, like Monads, are Monoids},
booktitle = {Proceedings of the 22nd Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2006, Genova, Italy, May 23-27, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {158},
pages = {219--236},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.04.012},
doi = {10.1016/J.ENTCS.2006.04.012},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeunenJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gmp/Heunen03,
author = {Chris Heunen},
title = {Accurate Silhouettes - Do Polyhedral Models Suffice?},
booktitle = {2003 International Conference on Geometric Modeling and Graphics,
GMAG'03, London, England, July 16-18, 2003},
pages = {69--74},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/GMAG.2003.1219668},
doi = {10.1109/GMAG.2003.1219668},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gmp/Heunen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-12 20:10 CET 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:
