Homotopy Type Theory
Egbert Rijke > history
<
Egbert Rijke
category:
redirected to nlab