lambda calculus
- лямбда-исчисление
#
математическая система для определения функций, вычисления значений выражений (lambda expression) и доказательства равенства выражений. Применяется также для формального описания конструкций языков программирования. Лямбда-исчисление было предложено американским логиком Алонзо Чёрчем в 1936 году в обоснование выдвинутого им тезиса, что любой алгоритмический процесс может быть реализован в рамках этого исчисления. Далее Чёрч и Тьюринг независимо друг от друга показали, что лямбда-исчисление Чёрча эквивалентно концепции машины Тьюринга. Например, classical typed lambda calculus – классическое типизированное лямбда-исчисление.
Связные термины
expression, Haskell, language construct, Turing machine
