andrei rodin Andrei Rodin's blog about History and Philosophy of Mathematics

December 15, 2022

Univalent Foundations and Applied Mathematics

Filed under: Uncategorized — Andrei Rodin @ 6:40 pm

Talk at the Topos Institute Colloquium; December 15, 2022 (abstract) (slides)(youtube video)

Powered by WordPress