Лямбда исчисление 2_1

Первая часть второй лекции С.Л.Кузнецова (МИАН) по ламбда-исчислению Изучаем математику и физику Учебные и иллюстративные материалы для школьников, студентов младших курсов и преподавателей