@misc{indiciae86fc7586a8d9,
  title = {Denotational validation of higher-order Bayesian inference},
  author = {Adam Ścibior and Ohad Kammar and Matthijs Vákár and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Sean K. Moss and Chris Heunen and Zoubin Ghahramani},
  year = {2017},
  doi = {10.1145/3158148},
  url = {https://arxiv.org/abs/1711.03219},
  note = {Source identifier: 1711.03219}
}