ДИСЦИПЛИНА ТИПОВ И ВАЖНЕЙШИЕ КОНЦЕПЦИИ ГЕТЕРОГЕННОЙ СРЕДЫ ВЫЧИСЛЕНИЙ, Теория тип