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 2023 · math.CTShow all

2 papers · 2 filters

math.CT2023

Categories of sets with infinite addition

Pablo Andrés-Martínez, Chris Heunen

We consider sets with infinite addition, called -monoids, and contribute to their literature in three ways. First, our definition subsumes those from previous works and allows u…

math.CT2023

Ordered Locales

Chris Heunen, Nesta van der Schaaf

We extend the Stone duality between topological spaces and locales to include order: there is an adjunction between the category of preordered topological spaces satisfying the so-…