de Bruijn indexes
Without an answer; without answering.
plural of de Bruijn index
(law enforcement slang) A police officer who writes many tickets.
The property or quality of being nondeterministic.
ラムダ計算の評価器を実装するために、彼女は各束縛変数についてDe Bruijnインデックスを注意深く追跡した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
