|
|
Lambda Calculus
November 22, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
|
|
|
|
|
|
Лекция 11. Неразрешимость задачи о сильной нормализуемости
S. L. Kuznetsov |
Video records: |
![mp4](/fticons/mp4.svg) |
MP4 |
1,661.9 Mb |
![mp4](/fticons/mp4.svg) |
MP4 |
3,563.5 Mb |
Number of views: |
This page: | 192 | Video files: | 52 | Youtube: | |
|
|
|