|
|
Лямбда-исчисление
15 ноября 2021 г. 16:25–17:50, г. Москва, МИАН, комн. 430 (ул. Губкина, 8) + Zoom
|
|
|
|
|
|
Лекция 10. Сильная нормализуемость термов, типизируемых с пересечением
С. Л. Кузнецов |
Видеозаписи: |
![mp4](/fticons/mp4.svg) |
MP4 |
1,534.9 Mb |
![mp4](/fticons/mp4.svg) |
MP4 |
3,290.5 Mb |
Количество просмотров: |
Эта страница: | 174 | Видеофайлы: | 60 | Youtube: | |
|
|
|