The last few years have seen several breakthroughs in the semantic foundations of probabilistic and statistical modelling. In this tutorial, we will use types to introduce, use, and organise abstractions for probabilistic modelling.

We will do so first for discrete probability, and then more generally with the recently-developed quasi-Borel spaces. The tutorial is accompanied by exercises for self-study, allowing you to develop a working knowledge and hands-on experience after it.