types theory

Теории типов; теория типизации объектов по определенным свойствам.