文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- wurtzite structure
- Wu Ruidi Yang Pu
- Wu Rukang
- Wu Rulun
- Wu Sangui
- Wusehua
- Wuse language
- Wu Shan
- Wushan hill in Hangzhou
- Wushan human remains
- Wushan Museum
- Wushan rotating drum
- Wushan Wenquan
- Wushan Xian
- Wushan xuangu dance
- Wushao Ling
- Wu Shaoqing
- Wu Shaoxiang
- Wu Shaozhi
- Wu Shaozu
- Wusheng Guan
- wusheng pill
- Wu Shengqin
- Wusheng Xian
- Wu Shidao