文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- project internal rate of return assessment method
- project internet environment
- projection
- projection angle
- projection band
- projection chain map
- projection chart
- projection-complete subspace
- projection cone
- projection constant
- projection correlation
- projection difference
- projection-difference method
- projection display equipment
- projection drawing
- projection effect
- projection estimate
- projection formula
- projection function
- projection functor
- projection-grid method
- projection identification method for the characteristic model
- projection image
- projection instrument
- projectionist