Homotopy Type Theory
Thierry Coquand > history
<
Thierry Coquand
category:
redirected to nlab