@phdthesis{Scibior19, title = {Formally justified and modular Bayesian inference for probabilistic programs}, author = {\'{S}cibior*, A.}, school = {University of Cambridge, UK}, year = {2019}, doi = {} }