Homotopy Type Theory
Localization in Homotopy Type Theory > history
<
Localization in Homotopy Type Theory
category:
redirected to nlab