使用整数偏移量来引用隐式单个参数的 lambda 表示法的名称是什么？
What is the name of the lambda notation that uses integer offsets to refer to implicit single arguments?
看起来像这样（示例显示教堂数字和 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))
这种符号的名称是什么？我好像忘了。
是De Bruijn index of the lambda calculus
看起来像这样（示例显示教堂数字和 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))
这种符号的名称是什么？我好像忘了。
是De Bruijn index of the lambda calculus