lambda term
(obsolete) ransom; release
(publishing) A newspaper having pages half the dimensions of the standard format.
plural of hygroreceptor
(computing theory) A well-formed formula in the language of a lambda calculus.
関数型プログラムを最適化する際、コンパイラは各ラムダ項を解析してベータ簡約の機会を検出します。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★