\//\
Свойства объекта
Логические модели
Название метода Теория типов
Другие названия метода Type theory
URL http://en.wikipedia.org/wiki/Type_theory