@misc{indiciae585697fc3b1b,
  title = {Synthetic topology in Homotopy Type Theory for probabilistic programming},
  author = {Martin E. Bidlingmaier and Florian Faissole and Bas Spitters},
  year = {2021},
  doi = {10.1017/s0960129521000165},
  url = {https://arxiv.org/abs/1912.07339},
  note = {Source identifier: 1912.07339}
}