most citedSynthetic topology in Homotopy Type Theory for probabilistic programming

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2019★ 6 cited

Synthetic topology in Homotopy Type Theory for probabilistic programming

Martin E. Bidlingmaier, Florian Faissole, Bas Spitters

The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language…