English Dictionary

de Bruijn index

名詞

(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

日本語の意味

数学における概念で、ラムダ計算の項を表現する際に、変数名を排除することを目的とした記法。

To simplify formal proofs about bound variables, she replaced named variables with the de Bruijn index in her lambda calculus formalization.

束縛変数に関する形式的な証明を簡素化するために、彼女は形式化において変数名を排除するラムダ計算の項表記法で名前付き変数を置き換えた。

意味（1）

(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

de Bruijn indexes （ plural ）