最終更新日：2024/08/05
The de Bruijn index represents the position of a variable in a lambda calculus term.
正解を見る
The de Bruijn index represents the position of a variable in a lambda calculus term.
編集履歴（0）
The de Bruijn index represents the position of a variable in a lambda calculus term.
The de Bruijn index represents the position of a variable in a lambda calculus term.
DiQt（ディクト）
無料
★★★★★★★★★★
