Univalent Foundations - new type-theoretic foundations of mathematics | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Univalent Foundations - new type-theoretic foundations of mathematics

By Vladimir Voevodsky

Appears in collections : 2014 - T2 - Semantics of proofs and certified mathematics, Fields medallists - 2002

Vladimir Voevodsky (Institute for Advanced Study, Princeton): Univalent Foundations - new type-theoretic foundations of mathematics

Information about the video

Date of publication 23/04/2014
Institution IHP
Licence CC BY-NC-ND
Format MP4

Domain(s)

MSC codes

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2026

Give feedback