tyyppiteoria

Noun

 * 1) type theory