文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- sarcidin
- sarcina
- sarcocarp
- sarcocyst
- sarcocystatin
- sarcocystosis of animal
- sarcolemma
- sarcomas of oral and maxillofacial region
- sarcomatrix
- sarcoma virus
- sarcomere
- sarcopania
- sarcopenia
- sarcophaga
- sarcophage
- sarcophagi carved with pictures of the Northern Wei Dynasty
- Sarcophagidae
- Sarcophagus from Cerveteri
- Sarcophagus of Junius Bassus
- Sarcophagus Tomb at Moutuo
- Sarcophagus Tombs at Xiaoxishan
- sarcoplasm
- sarcoplasmic reticulum
- sarcoptic mite
- sarcoptidosis of animal