文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- Guangzhou
- Guangzhou and Hong Kong Strike
- Guangzhou Archives
- Guangzhou Baiyun Mountain Pharmaceutical Factory Public Kelations Department
- Guangzhou Ballet
- Guangzhou city
- Guangzhou Customs
- Guangzhou Daily
- Guangzhou Daily Group
- Guangzhou Equestrian Stadium
- Guangzhou Fine Arts Institute
- Guangzhou Gymnasium
- Guangzhou Incident
- Guangzhou Institutes of Biomedicine and Health, Chinese Academy of Sciences
- Guangzhou International Documentary Film Festival, China
- Guangzhou International Guangdong Opera
- Guangzhou library
- Guangzhou linear motor
- Guangzhou Luxun Museum
- Guangzhou military region
- Guangzhou Military Region Political Department Soilders Drama Troupeof the CPLA
- Guangzhou Museum
- Guangzhou Museum of Art
- Guangzhou National Government
- Guangzhou Nonferrous Metals Research Institute