λ（lambda）是阿隆佐·丘奇在1930年代提出的纯计算概念，代表纯函数并用于计算。λ表达式通过β约简进行计算，涉及变量命名和替换。尽管结构复杂，λ在计算中具有重要意义，能够表示整数和其他函数。评估过程和策略影响计算结果，可能出现终止或非终止情况。