Function 使用整数偏移量引用隐式单参数的lambda表示法的名称是什么？

看起来有点像这样示例显示了church数字和Y组合符：

zero := λ.λ.0
one  := λ.0             -- or more verbosely: λ.λ.1 0
two  := λ.λ.1 (1 0)
three:= λ.λ.1 (1 (1 0))

add := λ.λ.λ.λ.3 1 (2 1 0)

Y := λ.(λ.1 (0 0)) (λ.1 (0 0))

---

这种符号的名称是什么？我好像忘了。

这是

的问题，这是

的问题，也许是一个更好的问题……@BasileStarynkevitch：这与软件开发无关。也许是一个更好的提问的地方……@BasileStarynkevitch：这与软件开发无关。