Лекция 8. С.Л. Кузнецов. Теорема о сильной нормализуемости для типового лямбда-исчисления окон...

Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 8. С.Л. Кузнецов.Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления 25 ноября 2019 г. МИАН, комн.530 (г. Москва, ул.Губкина,8) Источник: http://www.mathnet.ru/present25941 Все видео курса: http://www.mathnet.ru/conf1615 https://www.youtube.com/playlist?list=PLUbD59ZHv1GTHQ8fFYc1stXVQ-RGRzy8q