Mathematics
and Interactions

Vladimir Voevodsky

zbMATH link

• One video
  

  54:16

  published on April 23, 2014

  Univalent Foundations - new type-theoretic foundations of mathematics

  By Vladimir Voevodsky