Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление...

Лекционные курсы Научно-образовательного центра МИАН Вычислительная теория доказательств и лямбда-исчисление. Лекция 1. Л.Д. Беклемишев, С.Л. Кузнецов. Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении 30 сентября 2019 г. МИАН, комн. 530 (г. Москва, ул. Губкина, 8) Источник: Все видео курса: