文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- reticular layer
- reticular structure
- reticular tissue
- reticular tissue of animals
- reticular vein
- reticulate camellia
- reticulated tracheid
- reticulated vitreous carbon electrode
- reticulate perforation
- reticulate vessel
- reticulation
- reticule
- reticulin
- reticulocyte
- reticulocytes
- reticulocytes of animals
- reticuloendothelial system
- reticuloendotheliosis
- reticuloplasmin
- reticulopodium
- reticulo-ruminal motility
- reticulospinal tract
- Reticulum
- retiform
- retighten