Mathematics
Vladimir Voevodsky
  1. •  Motivic Homotopy

  2. • Univalent Foundations

  3. • CV

  4. • Publications