Homotopy Type Theory
universe > history
Redirected from "Richard Kadison".