基本解释：λ演算
汉语字典(www.zxzidian.com)行业英语频道为您提供λ演算的英文是λ-calculus，λ-calculus的意思，λ-calculus是什么意思等内容，如果您正在查询λ-calculus缩写的全称、翻译、解释等信息，本页内容可供您参考
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种。
