TY  - RPRT
TI  - Synthetic topology in Homotopy Type Theory for probabilistic programming
AU  - Martin E. Bidlingmaier
AU  - Florian Faissole
AU  - Bas Spitters
PY  - 2021
DO  - 10.1017/s0960129521000165
UR  - https://arxiv.org/abs/1912.07339
ID  - 1912.07339
ER  -