The De Bruijn notation for λ-terms.

Combinatory logic, a more essential way to eliminate variable names.

image De Bruijn index

define De Bruijn index

wikipedia De Bruijn index

weblio De Bruijn index

kotobank De Bruijn index

jisho De Bruijn index