Homotopy Type Theory
Vladimir Voevodsky > history
<
Vladimir Voevodsky
category:
redirected to nlab