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

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