Homotopy Type Theory
Andrej Bauer > history
<
Andrej Bauer
category:
redirected to nlab