Homotopy Type Theory
differential cohesive homotopy type theory > history
<
differential cohesive homotopy type theory
category:
redirected to nlab