Quick definitions from Wiktionary (

**)***type theory***▸**(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.

*noun*:▸ 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*