|
|
Лямбда-исчисление
11 октября 2021 г. 16:25–17:50, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
|
|
|
|
|
|
Лекция 6. Простая система типов для лямбда-исчисления
С. Л. Кузнецов |
Видеозаписи: |
|
MP4 |
1,393.9 Mb |
|
MP4 |
2,654.9 Mb |
Количество просмотров: |
Эта страница: | 274 | Видеофайлы: | 57 | Youtube: | |
|
|
|