文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- sediment
- sediment acoustics characteristics
- sediment acoustics classification
- sediment acoustic survey
- sediment adsorption
- sediment aggregation
- sediment allocation and utilization
- sedimentary area
- sedimentary base level
- sedimentary basin
- sedimentary cycle
- sedimentary deposit
- sedimentary differentiation
- sedimentary environment
- sedimentary event
- sedimentary evolution of coal basin in China
- sedimentary facies
- sedimentary facies association
- sedimentary facies model
- sedimentary formation structural map
- sedimentary paleogeography of the South China Sea
- sedimentary petrology
- sedimentary rhythm
- sedimentary rock
- sedimentary structure