de Bruijn index
(UK dialectal, Northern England, Scotland) Language; tongue. / (UK dialectal, Scotland) A national tongue (in contrast to a foreign language).
Resembling or characteristic of a balcony.
plural of revert war
(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
束縛変数に関する形式的な証明を簡素化するために、彼女は形式化において変数名を排除するラムダ計算の項表記法で名前付き変数を置き換えた。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
