Homotopy Type Theory
Ali Caglayan

a.k.a alizter Mathoverflow

Ali Caglayan

category: people