| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
|
|||
|
|
|||
|
Лекция 8. Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления С. Л. Кузнецов |
|||
|
|
|||
