Homotopy Type Theory
James Ladyman > history
<
James Ladyman
category:
redirected to nlab