Definitions from Wikipedia (Intuitionistic type theory)

▸ noun:  Intuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory is a type theory and an alternative foundation of mathematics.


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

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

▸ Invented words related to intuitionistic type theory