文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- protogyny
- proto-industrialization
- proto-Jupiter
- proto-language
- proto-lexeme
- protoloph
- protolyte
- protomer
- protomerite
- protomite
- proto model
- protomonomyaria stage
- protomont
- protomylonite
- Proton
- proton
- proton affinity
- protonated ligand
- protonated molecule
- protonation
- protonation constant
- proton balance
- proton beam
- proton beam writing
- proton binding energy