文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- centralized management model
- centralized mode of emergency linkage
- centralized network
- centralized networked control system
- centralized order
- centralized payment system of treasury
- centralized power supply mode
- centralized process
- centralized purchasing
- centralized refresh
- centralized regulation of pipelines
- centralized security supervision mode
- centralized supervisory control of cascade hydropower stations
- centralized supervisory control system of hydropower station
- centralized traffic control system
- centralized treatment of municipal wastewater
- centralized type of organization
- centralized water supply
- centralize kalman filtering
- centralizer
- centralizer group
- centralizer ring
- centralizing extension
- centralizing parameter
- central lacteal