λ演算是一种形式系统，用于研究函数的抽象和应用。它通过λ符号定义变量和表达式，进行参数替换和规约。核心概念包括抽象、应用、绑定变量和自由变量。λ演算在编程语言中广泛应用，如Haskell中的函数定义，支持通过嵌套函数处理多个参数，体现函数的接受与返回机制。