type theory

Noun

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

Translations

 * Czech: teorie typů
 * Finnish: tyyppiteoria
 * German: Typentheorie