type theory
Typentheorie
A branch of mathematical logic and theoretical computer science concerned with typesA branch of mathematical logic and theoretical computer science concerned with types.
» Mathematics is just a subset of type theory.
Meaning
1 senses(uncountable, usually)A branch of mathematical logic and theoretical computer science concerned with types.
Typentheorie
Examples
1 sentencesMathematics is just a subset of type theory.
Translations
2 languagesDeutsch
By meaning 1
branch of logic and computer science:
Forms
plural: type theories| Singular | type theory |
|---|
uncountable
Word family
1 related wordsRelatedtype system
Lessons for this word
1 lessons- A1Countable and uncountable nouns — Because it can be uncountable