文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- He Yin
- Heyin
- He Ying
- He Yingqin
- Heymans crater
- He Yousheng
- He Youzhi
- Heytesbury
- Heyting
- Heyting algebra
- Heyting arithmetic
- Heyting formal system
- Heyuan
- Heyuan city "three planning in one" urban master plan
- Heyuan Garden
- Heyuan Museum
- Heyuan Shi
- He Yuan Zhi
- He Yujie
- He Yumen
- He Yunfeng
- He Yuzhong
- Hey zeta-function
- He Zaoxiang
- Heze