3 ms·
Obligatory pointer to homotopy type theory: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins
by jkhdigital 5y ago
Obligatory pointer to homotopy type theory: https://www.ias.edu/ideas/2014/voevodsky-origins https://www.ias.edu/ideas/2014/voevodsky-origins