文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- NMO
- NMOCs
- NMOKE
- NMOS电路
- NMP
- NMR
- NMR-EC
- NMR feature of G quadruplex
- NMR feature of G-quadruplex
- NMR frequency shift
- NMRG
- NMRI
- NMR imaging
- NMR imaging (NMRI)
- NMRS
- NMR spectrometer with superconducting magnet
- NMR spectroscopy
- NMR thermometer
- NMR tomography
- NMR层析术
- N.M.S.
- NMT
- NM法
- N. N. Bogolyubov
- N. N. Bogolyubov (1909—1992)