文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- Dangshan Xian
- Dangtu Xian
- Dangwei
- Dangxiang Ethnic Group
- dangyang
- Dangyang Shi
- Dangzai Dao
- Dang Zhu
- dangzi
- dangzuo
- Danhe He
- Danian Stage
- Daniel
- Daniel Amponsah
- Daniel Attoumo Amichia
- Daniel Barenboim
- Daniel Bell
- Daniel Bernoulli
- Daniel Bernoulli (1700—1782)
- Daniel Bernoulli, 1700—1782
- Daniel Bovet
- Daniel Burnham
- Daniel Carleton Gajdusek
- Daniel cell
- Daniel David Moses