Homotopy Type Theory
A Cubical Approach to Synthetic Homotopy Theory > history
<
A Cubical Approach to Synthetic Homotopy Theory
category:
redirected to nlab