Homotopy Type Theory: Vladimir Voevodsky – Computerphile On October 6, 2017by Danin Uncategorized Leave a Comment on Homotopy Type Theory: Vladimir Voevodsky – Computerphile
