@misc{indiciae84cedc13693c,
  title = {Semantics of higher-order probabilistic programs with conditioning},
  author = {Fredrik Dahlqvist and Dexter Kozen},
  year = {2019},
  url = {https://arxiv.org/abs/1902.11189},
  note = {Source identifier: 1902.11189}
}