(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
束縛変数に関する形式的な証明を簡素化するために、彼女は形式化において変数名を排除するラムダ計算の項表記法で名前付き変数を置き換えた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
