type theory

Short definition from Wiktionary

Noun

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

We haven’t written up type theory yet: Simple and Standard meanings, examples and a quiz.