文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- nutrition
- nutritional and metabolic diseases of domestic animals
- nutritional assessment for astronaut
- nutritional deficiency disease
- nutritional deficiency disorders of the nervous system
- nutritional deficiency symptom
- nutritional edema
- nutritional epidemiology
- nutritional evaluation of feed mineral elements
- nutritional evaluation of feed protein and amino acid
- nutritional feed additive
- nutritional hygiene for ship crew
- Nutritional immunology
- nutritional information of ecosystem
- nutritional intervention
- nutritional iron deficiency anemia
- nutritionally essential amino acid
- nutritionally nonessential amino acid
- nutritional pathology
- nutritional physiology and metabolism
- Nutritional Pollen for predatory mite
- nutritional polyneuropathy
- nutritional quality
- nutritional regulation of quality
- nutritional requirement of the aged