Research outputs

• Reversible effects as inverse arrows

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Reversible Monadic Computing

  Research output: Contribution to journal › Article › peer-review

• Pictures of complete positivity in arbitrary dimension

  Research output: Contribution to journal › Article › peer-review

• Quantum theory realizes all joint measurability graphs

  Research output: Contribution to journal › Article › peer-review

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

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Discretization of C*-algebras

  Research output: Contribution to journal › Article › peer-review

• Active lattices determine AW*-algebras

  Research output: Contribution to journal › Article › peer-review

• Quantum realization of arbitrary joint measurability structures

  Research output: Contribution to journal › Article › peer-review

• Characterizations of Categories of Commutative C*-Subalgebras

  Research output: Contribution to journal › Article › peer-review

• Piecewise Boolean Algebras and Their Domains

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Operational theories and Categorical quantum mechanics

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

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

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Extending obstructions to noncommutative functorial spectra

  Research output: Contribution to journal › Article › peer-review

• Categories of quantum and classical channels

  Research output: Contribution to journal › Article › peer-review

• Mixed quantum states in higher categories

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Domains of Commutative C-Subalgebras

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Axiomatizing complete positivity

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Categories of relations as models of quantum theory

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Can a quantum state over time resemble a quantum state at a single time?

  Research output: Contribution to journal › Article › peer-review

• The Category of Matroids

  Research output: Contribution to journal › Article › peer-review

• A Convenient Category for Higher-Order Probability Theory

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Many Classical Faces of Quantum Structures

  Research output: Contribution to journal › Article › peer-review

• Purity through factorisation

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Frobenius structures over Hilbert C*-modules

  Research output: Contribution to journal › Article › peer-review

• Space in monoidal categories

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Domains of commutative C*-subalgebras

  Research output: Contribution to journal › Article › peer-review

• Boolean Subalgebras of Orthoalgebras

  Research output: Contribution to journal › Article › peer-review

• Monoidal characterisation of groupoids and connectors

  Research output: Contribution to journal › Article › peer-review

• Limits in dagger categories

  Research output: Contribution to journal › Article › peer-review

• Tensor topology

  Research output: Contribution to journal › Article › peer-review

• Denotational validation of higher-order Bayesian inference

  Research output: Contribution to journal › Article › peer-review

• The CBH characterisation theorem beyond algebraic quantum theory

  Research output: Contribution to journal › Article › peer-review