文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- smaragdite
- Smarandache
- Smarandache ceil function
- Smarandache constant
- Smarandache function
- Smarandache near-to-primorial function
- Smarandache paradox
- Smarandache sequence
- S. Mardesic
- S. Mardesic (1927—2016)
- SMART-1
- smart actuator
- smart ageing
- smart agriculture
- smart antenna
- smart archives
- smart band
- smart basin
- smart bracelet
- smart business cycle
- smart campus
- smart card
- smart card reader
- smart city
- smart city application service layer