Univalent Foundation 2014, by Vladimir Voevodsky
Univalent Foundation 2014, by Vladimir Voevodsky
How I became interested in foundations of mathematics
How I became interested in foundations of mathematics By Vladimir Voevodsky. At https://www.math.ias.edu/vladimir/sites/math.ias.edu.vladimir/files/2014_08_ASC_lecture.pdf
- (Local copy: how_i_became_math_2014_Vladimir_Voevodsky.pdf)