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