Доклад
- Когда и где
-
18 марта 2019 г. 15:00, понедельник
Актовый зал ИММ УрО РАн
- Докладчики
-
-
Название
-
Семантика lambda-исчислений (с типами и без них) в терминах категорий (по книге higher-ordrer categorical logic).
-
Аннотация
-
-
Презентация
-
-
Ссылка на видео
-
-
Видео
-
Вернуться к списку новостей