When teaching lambda calculus, she often used de Bruijn notation to avoid issues with variable names.
ラムダ計算を教えるとき、彼女は変数名の問題を避けるためにラムダ項のためのインデックス表記法をよく用いた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
