文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- microbiological control level of laboratory animals
- microbiological fermentation bed
- microbiological measures for mined land reclamation
- microbiological method
- microbiological monitoring
- microbiological removal of nitrogen oxide
- microbiological risk assessment
- microbiological sampler
- microbiological screening technique for Identification of irradiation food
- microbiological treatment of radionuclides
- microbiology
- microbiology counting by flow cytometry
- microbiology laboratory
- microbiology metrology
- microbiology resources of China
- microbiome
- microbivore
- Microblog
- microblog
- micro blog advertisement
- microblogging administration
- microblog network body
- microblog trap
- microbody
- microbolite