Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Tutorial talk for the Categorical Probability and Statistics workshop 2020: http://perimeterinstitute.ca/personal/tfritz/2019/cps_workshop/ Title: Probabilistic Programming and Semantics - A tutorial Speaker: Christine Tasson Slides available at https://cloud.math.univ-paris-diderot.fr/s/eCnEeLXH4D3HsEq