lambda term
(computing theory) A well-formed formula in the language of a lambda calculus.
(obsolete) ransom; release
(publishing) A newspaper having pages half the dimensions of the standard format.
plural of hygroreceptor
関数型プログラムを最適化する際、コンパイラは各ラムダ項を解析してベータ簡約の機会を検出します。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
