λ-calculus
翻译:λ演算
同义词
1)λ-calculus,λ演算2)lambda calculus,λ-演算3)calculus of λ-conversion,λ转换演算4)λ algorithms,λ算法5)SARSA(λ) algorithm,SARSA(λ)算法6)DFSARSA(λ) algorithm,DFSARSA(λ)算法英汉例句
The base of the theory is the typed λ-calculus.
类型系统的理论基础是类型化的λ演算。
e Study the correspondence between CL(Combinalory Logic)and lambda calculus by means of the following rules and respectively:is a functional CL-tenn and Where“λ￣*x” is an any abstraction operation in CL.
本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。
In the Direct Spread Spectrum System,there are three usual algorithms for estimating the weighting based on DFT:N-sigma, algorithms,median filter.
在直接扩频通信系统中,基于傅里叶变换的门限估计常用的有N-sigma法、λ算法和中值滤波3种。