type theory en · NOUN
Meanings
-
(uncountable, usually) A branch of mathematical logic and theoretical computer science concerned with types.
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.
2013, Homotopy Type Theory: Univalent Foundations of Mathematics, Univalent Foundations, page 2:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| type theories | Number=Plur | lexicographic |
Coordinates
Relateds
Translations (4)
cs teorie typů (branch of logic and computer science) · fi tyyppiteoria (branch of logic and computer science) · pl teoria typów (branch of logic and computer science) · de Typentheorie (branch of logic and computer science)