文学 莱姆答运算 释 λ-abstraction 莱姆答抽象 类型论中通过引入莱姆答算子（λ）使原本谓词类型为t的表达式抽象还原成符合谓词本身类型的表达式。
λ-abstraction λ抽象
理论计算机科学 程序理论 释文 λ-abstraction λ抽象
- trigonometric sum
- trigonometric-sum estimate
- trigonometric system
- trigonometric transformation
- trigonometric weight
- trigonometry
- trigonometry angle
- trigon/trigonid
- trigonum
- trigraded ring
- trigram
- trihapto ligand
- trihedral
- trihedral angle
- trihedron
- trihydride sulfur
- triiodomethane
- triiodothyronine
- triisobutyl aluminium
- trikaya
- triketohydrindene
- triketone herbicide
- trilaminar germ disc
- trilateral
- Trilateral Commission