Homotopy Type Theory
Vladimir Voevodsky

Vladimir Voevodsky

category: people