TY  - RPRT
TI  - Denotational validation of higher-order Bayesian inference
AU  - Adam Ścibior
AU  - Ohad Kammar
AU  - Matthijs Vákár
AU  - Sam Staton
AU  - Hongseok Yang
AU  - Yufei Cai
AU  - Klaus Ostermann
AU  - Sean K. Moss
AU  - Chris Heunen
AU  - Zoubin Ghahramani
PY  - 2017
DO  - 10.1145/3158148
UR  - https://arxiv.org/abs/1711.03219
ID  - 1711.03219
ER  -