Error loading media: File could not be played
Share Video
https://staged.podcasts.ox.ac.uk/normalization-evaluation-sized-dependent-types
<iframe width="640" height="400" src="https://staged.podcasts.ox.ac.uk/embed/e5dcad8159ac3d5b4ab7" frameborder="0" allowfullscreen></iframe>
Share Video
00:00
00:00