de Bruijn notation

uncountable

(mathematics) A certain syntax for terms in the lambda calculus.

Japanese Meaning

ラムダ計算における項を記述するための特定の記法

When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.

ラムダ計算を教えるとき、彼女は変数名の問題を避けるためにラムダ項のためのインデックス表記法をよく用いた。

Sense（1）

(mathematics) A certain syntax for terms in the lambda calculus.