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