Эффективная вычислимость рационального гомотопического типа

В работе доказана эффективная вычислимость некоторого функтора, построенного Квилленом, действующего из категории односвязных клеточных разбиений в категорию свободных дифференциальных градуированных алгебр Ли над полем рациональных чисел.
Библиография: 6 названий.