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种。