文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- health effects of volatile organic compound
- health effects of waste electrical and electronic equipment
- health emergency system
- health engineering and technology
- health equity
- health expenditure
- health financing reform
- health financing system
- health governance for society
- health habit
- health hazards of soil pollution
- health hazards of the disinfection by products
- health hazards of water pollution
- health human resource human resources for health
- Health human resource management
- health impact assessment
- health indicators
- Health information
- health information
- Health Information Exchange Standard HL7
- Health Information Management
- health information system
- health inspection of public place
- health insurance
- health insurance benefit