于每个formula_26，可转换为formula_118。这表明formula_119实际上的应用是映射自身函数。同样地，formula_120，表明了formula_121是一个常量函数。lambda演算可视为函数式编程语言的理想化版本，如Haskell或ML语言。在这种观点下，β-归约对应于一组计算步骤。这个步骤重复应用β-转换，一直到没有东西能再被化简。在无型别lambda演算中，如本文所述，这个归约过程可能无法终止，比如formula_122，是个特殊的lambda项。这里formula