Scibior, Adam Dept. Empirical Inference, Max Planck Institute for Intelligent Systems, Max Planck Society;
Scibior, A. (2019). Formally justified and modular Bayesian inference for probabilistic programs. PhD Thesis, University of Cambridge, Cambridge.