Homotopy Type Theory
Daniel Christensen > history
<
Daniel Christensen
category:
redirected to nlab