文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- violence prevention
- Violence Risk Appraisal Guide
- Violence Risk Scale
- violence surveillance
- violent crime in schools
- violent galaxy
- violent relaxation
- violent squall
- violent unlocking
- Violet
- violet
- Violeta Barrios de Chamorro
- Violeta Parra
- Violet Barungi
- violet CTP
- violet family
- violet golden clay
- violet laser
- violet layer
- violetrays
- violet satellite
- violet shift
- Violet Small Courtyard
- violin
- violin plot