type theory in German
type theory in German
Typentheorie
(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.