Homotopy Type Theory
Thorsten Altenkirch > history
<
Thorsten Altenkirch
category:
redirected to nlab