Homotopy Type Theory
Floris van Doorn > history
<
Floris van Doorn
category:
redirected to nlab