VideoArxiv
Home
Workshops
Speakers
Talk page
Title:
How to Do Maths Without Dependent Types
Speaker:
Anthony Bordg
Link:
https://www.youtube.com/watch?v=pKdw3-Cjkdo