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

Question

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

这种符号的名称是什么？我似乎已经忘记了.

Answer 1

这是德布鲁因指数的的演算