Talk page

Title:
How to Do Maths Without Dependent Types

Speaker:
Anthony Bordg

Link:
https://www.youtube.com/watch?v=pKdw3-Cjkdo