Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Not Only Scalar Curvature Seminar
58 videos

Not Only Scalar Curvature Seminar

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday
8 videos

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models
2 videos

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens
4 videos

Lean for the curious mathematician / Lean pour mathématiciens

All the collections
CIMPA
CIRM
IHES
IHP
LMR
SMF
All the institutions
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
  • 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




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2024
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback