Homotopy Type Theory
characteristic > history
Redirected from "John Harer".
<
characteristic
category:
redirected to nlab