Meaning of type theory | Babel Free

Definitions

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

uncountable, usually

Equivalents

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