文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- radiolucent
- radioluminescence
- Radio Luminosity
- radio luminosity
- radiolysis
- radiolysis; radiation decomposition
- radiolytic product
- radio magnitude
- radio map
- radio message receiving and transmitting competition
- radiometal
- radiometallography
- radiometallurgy
- radio meteor
- radiometeorology
- Radiometer
- radiometer
- radiometers
- radiometric
- radiometric assay
- radiometric calibration
- radiometric calibration of optical payload
- radiometric calibration of optical remote sensing
- radiometric calorimetry
- radiometric correction