Оглавление секции
-
λ-исчисление является теоретическим базисом для функционального программирования, представляет собой формальный метод представления функций и правила вывода значений функций. Cформулировано Алонзо Чёрчем (Alonzo Church) в 1930 году как теория исчисления анонимных (безымянных) функций.