type theory
Word Rarity
Uncommon
Frequency: Zipf frequency 4.73 in modern English
21
Scrabble Score
10
Letters
4
Syllables
7
Unique Chars
Meaning
noun
A branch of mathematical logic and theoretical computer science concerned with types.
Uncountable
Example Sentences
- "Although it is not generally regarded as the foundation for classical mathematics, set theory being more customary, type theory still has numerous applications, especially in computer science and the theory of programming languages."