de Bruijn notation

名詞

不可算名詞

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

日本語の意味

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

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

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

意味（1）

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