文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- ultimately periodic sequence
- ultimate particles
- ultimate reduction
- ultimate sequence
- ultimate strength
- ultimate strength design method
- ultimate strengthdesign method
- ultimate tensile strength
- ultimate uniform boundness
- ultimate vacuum
- ultimatum
- Ultime Secret
- ultor
- ultra-
- ultra-acoustic
- ultrabarrelled
- ultrabarrelled space
- ultrabasic glass
- ultrabasic rock
- ultrabornological
- ultrabornological space
- ultraboundedness
- ultra bright
- ultra broadband seismometer
- ultracentrifugal