Category:Homotopy type theory
A branch of mathematical logic and type theory that combines ideas from homotopy theory with constructive type theory.
Pages in category "Homotopy type theory"
This category contains only the following page.
A branch of mathematical logic and type theory that combines ideas from homotopy theory with constructive type theory.
This category contains only the following page.