Quick definitions from Wiktionary (type theory)
▸ noun: (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
▸ Words similar to type theory
▸ Usage examples for type theory
▸ Words that often appear near type theory
▸ Rhymes of type theory
▸ Invented words related to type theory
▸ noun: (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
▸ Words similar to type theory
▸ Usage examples for type theory
▸ Words that often appear near type theory
▸ Rhymes of type theory
▸ Invented words related to type theory