Лямбда-исчисление (Lambda Calculus) и истоки функционального программирования: от теории Алонзо Чёрча до Lisp и Haskell
