Mathematics & Physics > Homotopy type theory
Homotopy Type Theory is an interpretation of Martin-Löf’s intensional type theory into abstract homotopy theory.
Homotopy Type Theory is an interpretation of Martin-Löf’s intensional type theory into abstract homotopy theory.