Заседание №2 (29 декабря 2017 г.)

Время:

17:00

Место:

пр. Свободный 79, ауд. 34-17

Доклад:
Ходюня Николай Дмитриевич - "Гомотопическая теория типов"

Участники:

Башмаков С.И.
Казакова А.В.
Касымов Ф.
Марковская И.А.

Башмаков С. И.

© 2025 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48 math@sfu-kras.ru