Λ-исчисление
λ-исчисле́ние — раздел дискретной математики, изучающий процесс вычисления, как математический процесс. Основная методика изучения — исследование применимости (калька с английского — application) операндов к функции, при этом последние представляются в виде λ-термов:
λxy.(x + y) — функция сложения двух своих операндов. (λx.xx)(λx.xx) — классический пример для иллюстрации бесконечной редукции.
Под редукцией понимается собственно процесс вычисления результата функции после применения к ней всех необходимых операндов.
λ-исчисление является теоретическим механизмом для многих прикладных наук, в первую очередь, для функционального программирования.