research
∙
02/03/2023
The Quantum Effect: A Recipe for QuantumPi
Free categorical constructions characterise quantum computing as the com...
share
research
∙
01/12/2023
Duoidally enriched Freyd categories
Freyd categories provide a semantics for first-order effectful programmi...
research
∙
06/09/2022
Universal Properties of Partial Quantum Maps
We provide a universal construction of the category of finite-dimensiona...
research
∙
09/09/2021
Proceedings 18th International Conference on Quantum Physics and Logic
This volume contains the proceedings of the 18th International Conferenc...
research
∙
08/03/2021
Localisable Monads
Monads govern computational side-effects in programming semantics. They ...
research
∙
07/26/2021
Quantum Information Effects
We study the two dual quantum information effects to manipulate the amou...
research
∙
02/17/2021
Bennett and Stinespring, Together at Last
We present a universal construction that relates reversible dynamics on ...
research
∙
05/22/2018
Reversible effects as inverse arrows
Reversible computing models settings in which all processes can be rever...
research
∙
11/09/2017
Denotational validation of higher-order Bayesian inference
We present a modular semantic account of Bayesian inference algorithms f...
research
∙
01/10/2017
A Convenient Category for Higher-Order Probability Theory
Higher-order probabilistic programming languages allow programmers to wr...
research
∙
01/19/2016