Homotopy Type Theory
Homotopy Type System > history
Redirected from "Thompson groups".