Homotopy Type Theory
groupoid > history
Redirected from "book homotopy type theory".