1:26:05
Лекция 1. С.Л. Кузнецов. Лямбда-исчисление
МЦМУ МИАН
1:20:28
Лекция 2. С.Л. Кузнецов. Теорема Чёрча-Россера
1:17:36
Лекция 3. С.Л. Кузнецов. Нормальная стратегия редукций
1:32:39
Лекция 4. С.Л. Кузнецов. Представление вычислимых функций
1:16:05
Лекция 5. С.Л. Кузнецов. Неразрешимые задачи, связанные с бета-редукцией
1:23:57
Лекция 6. С.Л. Кузнецов. Простая система типов для лямбда-исчисления
1:28:51
Лекция 7. С.Л. Кузнецов. Алгоритм выведения типов
1:25:19
Лекция 8. С.Л. Кузнецов. Теоретико-множественная семантика типизованного лямбда-исчисления
1:24:33
Лекция 9. С.Л. Кузнецов. Полнота относительно теоретико-множественной семантики
1:24:10
Лекция 10. С.Л. Кузнецов. Сильная нормализуемость термов, типизируемых с пересечением
1:31:08
Лекция 11. С.Л. Кузнецов. Неразрешимость задачи о сильной нормализуемости
1:07:06
Лекция 12. С.Л. Кузнецов. Неразрешимость задачи о сильной нормализуемости (продолжение)
1:33:15
Лекция 13. С.Л. Кузнецов. Представление неограниченного мю-оператора
1:31:17
Лекция 14. С.Л. Кузнецов. Система F
