HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › type theory
← Back to search

Meaning of type theory | Babel Free

Noun CEFR B2

Definitions

A branch of mathematical logic and theoretical computer science concerned with types.

uncountable, usually

Equivalents

Čeština teorie typů
Deutsch Typentheorie
Suomi tyyppiteoria

Examples

“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.”

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

type variety type-founder type-in type-token distinction type-token ratio Type-wheel

Learn this word in context

See type theory used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free