最終更新日:2024/08/05
(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 index
編集履歴(0)
元となった辞書の項目
de Bruijn index
noun