Национальные ресурсы / Отчеты о НИР

Свойства типов в зависимых теориях

Руководитель проекта: Кальменов Т.Ш.
Исполнители проекта: Байжанов Б.С., Вербовский В.В., Замбарная Т.С. и др.
Организация: Институт математики и математического моделирования
Инвентарный номер: 0217РК02205
Регистрационный номер: 0115РК00650
Ключевые слова: зависимые теории