activity
20072026
most citedSemantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

113 citations · 1.3k across the 83 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

math.CT2022★ 5 cited

Axioms for the category of Hilbert spaces and linear contractions

Chris Heunen, Andre Kornell, Nesta van der Schaaf

The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity,…

quant-ph2022★ 3 cited

Universal Properties of Partial Quantum Maps

Pablo Andrés-MartíÂ-nez, Chris Heunen, Robin Kaarsgaard

We provide a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional H…