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