Definitions from Wikipedia (Homotopy type theory)

▸ noun:  In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intuitionistic type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.


▸ Words similar to Homotopy type theory
▸ Usage examples for Homotopy type theory

▸ Idioms related to Homotopy type theory
▸ Wikipedia articles (New!)
▸ Words that often appear near Homotopy type theory
▸ Rhymes of Homotopy type theory

▸ Invented words related to Homotopy type theory