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

【问题标题】：What is the name of the lambda notation that uses integer offsets to refer to implicit single arguments?使用整数偏移量来引用隐式单个参数的 lambda 表示法的名称是什么？
【发布时间】：2015-02-26 22:07:13
【问题描述】：

看起来有点像这样（示例显示教堂数字和 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))

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

【问题讨论】：

programmers.stackexchange.com 可能是一个更好的地方问......
@BasileStarynkevitch：这与“软件开发”无关。

标签： function lambda functional-programming theory lambda-calculus

【解决方案1】：

是lambda calculus的De Bruijn index

【讨论】：