Chris Heunen

Jesse Sigal

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022

Quantum information effects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2022

The CBH characterisation theorem beyond algebraic quantum theory.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Universal Properties of Partial Quantum Maps.

[BibT_eX]

[DOI]

Pablo Andrés-Martínez

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Localisable Monads.

[BibT_eX]

[DOI]

Carmen Constantin

Nuiok Dicaire

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Topos Quantum Theory with Short Posets.

[BibT_eX]

[DOI]

John Harding

Order, 2021

Bennett and Stinespring, Together at Last.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

2019

Boolean Subalgebras of Orthoalgebras.

[BibT_eX]

[DOI]

Order, 2019

Domains of commutative C*-subalgebras.

[BibT_eX]

[DOI]

Bert Lindenhovius

Math. Struct. Comput. Sci., 2019

Ontological models for quantum theory as functors.

[BibT_eX]

[DOI]

Alexandru Gheorghiu

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

2018

Denotational validation of higher-order Bayesian inference.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Reversible Effects as Inverse Arrows.

[BibT_eX]

[DOI]

Martti Karvonen

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

The Category of Matroids.

[BibT_eX]

[DOI]

Vaia Patta

Appl. Categorical Struct., 2018

2017

The Many Classical Faces of Quantum Structures.

[BibT_eX]

[DOI]

Entropy, 2017

Purity through Factorisation.

[BibT_eX]

[DOI]

Oscar Cunningham

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Space in Monoidal Categories.

[BibT_eX]

[DOI]

Pau Enrique Moliner

Sean Tull

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

A convenient category for higher-order probability theory.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

Categories of quantum and classical channels.

[BibT_eX]

[DOI]

Quantum Inf. Process., 2016

Can quantum theory be characterized in information-theoretic terms?

[BibT_eX]

[DOI]

CoRR, 2016

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Reversible Monadic Computing.

[BibT_eX]

[DOI]

Martti Karvonen

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Categories of relations as models of quantum theory.

[BibT_eX]

[DOI]

Sean Tull

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Axiomatizing complete positivity.

[BibT_eX]

[DOI]

Oscar Cunningham

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

2014

Mixed quantum states in higher categories.

[BibT_eX]

[DOI]

Jamie Vicary

Linde Wester

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014

Piecewise Boolean Algebras and Their Domains.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Completely positive projections and biproducts.

[BibT_eX]

[DOI]

Peter Selinger

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

Erratum to: Noncommutativity as a Colimit.

[BibT_eX]

[DOI]

Benno van den Berg

Appl. Categorical Struct., 2013

On the Functor ℓ2.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

Compositional Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Bohrification of operator algebras and quantum logic.

[BibT_eX]

[DOI]

Nicolaas P. Landsman

Bas Spitters

Synth., 2012

Categories of Quantum and Classical Channels (extended abstract).

[BibT_eX]

[DOI]

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

Noncommutativity as a Colimit.

[BibT_eX]

[DOI]

Benno van den Berg

Appl. Categorical Struct., 2012

2011

Completely positive classical structures and sequentializable quantum protocols.

[BibT_eX]

[DOI]

Sergio Boixo

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Pictures of complete positivity in arbitrary dimension.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

No-go theorems for functorial localic spectra of noncommutative rings.

[BibT_eX]

[DOI]

Benno van den Berg

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

2010

Quantum Logic in Dagger Kernel Categories.

[BibT_eX]

[DOI]

Bart Jacobs

Order, 2010

2009

Categorical semantics for arrows.

[BibT_eX]

[DOI]

Bart Jacobs

Ichiro Hasuo

J. Funct. Program., 2009

Coalgebraic Components in a Many-Sorted Microcosm.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Compactly Accessible Categories and Quantum Key Distribution.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

Semimodule Enrichment.

[BibT_eX]

[DOI]

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2006

Arrows, like Monads, are Monoids.

[BibT_eX]

[DOI]

Bart Jacobs

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

2003

Accurate Silhouettes - Do Polyhedral Models Suffice?

[BibT_eX]

[DOI]