teorie typů

Noun

 * 1) type theory