de Bruijn indexes
The property or quality of being nondeterministic.
(law enforcement slang) A police officer who writes many tickets.
plural of de Bruijn index
Without an answer; without answering.
ラムダ計算の評価器を実装するために、彼女は各束縛変数についてDe Bruijnインデックスを注意深く追跡した。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
