Homotopy Type Theory
relation > history
Redirected from "Principal ∞-bundles -- Theory, presentations and applications".