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)

No Comments

No comments yet.

RSS feed for comments on this post.

Sorry, the comment form is closed at this time.

Powered by WordPress