小编use*_*246的帖子

我对lambda演算中的前身函数的维基百科描述感到困惑.

维基百科所说的如下:

PRED:=λnfx.n(λgh.h(gf))(λu.x)(λu.u)

有人可以一步一步地解释减少过程吗？

谢谢.