Definitions from Wiktionary (type theory)
▸ noun: (mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
Type A and Type B personality theory,
Type A and Type B personality theory,
Blood type personality theory,
Homotopy type theory,
Intuitionistic type theory,
more...
▸ Words similar to type theory
▸ Usage examples for type theory
▸ Idioms related to type theory
▸ Wikipedia articles (New!)
▸ 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.
Similar:
type,
category theory,
set theory,
domain theory,
number theory,
theory,
computational number theory,
field theory,
operator theory,
recursion theory,
more...
Opposite:
Phrases:
▸ Words similar to type theory
▸ Usage examples for type theory
▸ Idioms related to type theory
▸ Wikipedia articles (New!)
▸ Words that often appear near type theory
▸ Rhymes of type theory
▸ Invented words related to type theory