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

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