类型论 на русском lèixíng lùn Значения Примеры использования В начале слов Сегментирование сущ. мат. теория типов + Добавить перевод