Эффективная разрешающая процедура для задачи выполнимости в теории номинальных систем типов с вариантностью [2020]

Автор: Милова Наталья Андреевна

Руководитель: Кознов Дмитрий Владимирович

Направление: Программная инженерия (магистратура)

К архиву практик и ВКР