文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- ent kaurane
- ent-kaurane
- entocyte
- entoderm
- entomogenous fungi
- entomological radar
- Entomological Society of America
- entomology
- entomophage
- entomophilous flower
- entomophilous plant
- entomophilous pollination
- entomophily
- entomophyte
- entomopoxvirus
- entopan mono
- ENT operation instruments
- entoptic phenomenon
- entoptic scatter
- entosis
- entourage
- entrained flow bed combustion
- entrainer
- entrainment
- entrainment processes