Теорія типів

у логіці – будь-яка формальна система, альтернативна до теорії множин, де класифікація елементів системи здійснюється через розподіл на ієрархічно упорядковані типи