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

113 citations · 319 across the 18 of their papers we have counts for

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2015

An absolute characterisation of locally determined omega-colimits

Ohad Kammar

Characterising colimiting omega-cocones of projection pairs in terms of least upper bounds of their embeddings and projections is important to the solution of recursive domain equa…