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 2019 · quant-phShow all

2 papers · 2 filters

quant-ph2019★ 4 cited

Ontological models for quantum theory as functors

Alexandru Gheorghiu, Chris Heunen

We interpret ontological models for finite-dimensional quantum theory as functors from the category of finite-dimensional Hilbert spaces and bounded linear maps to the category of…

quant-ph2019★ 1 cited

Topos quantum theory with short posets

John Harding, Chris Heunen

Topos quantum mechanics, developed by Isham et. al., creates a topos of presheaves over the poset V(N) of abelian von Neumann subalgebras of the von Neumann algebra N of bounded op…