Homotopy Type Theory
semantics > history
Redirected from "quantum dimension".
<
categorical model of dependent types
category:
redirected to nlab