Лямбда исчисление 1_2

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