Homotopy Type Theory
Luis Scoccola > history
<
Luis Scoccola
category:
redirected to nlab