理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- UHV overhead transmission line
- UIA Beijing Charter
- UIC
- Uicheon
- uicontrol
- UID system
- UID系统
- Uighur
- Uighur clapper talk
- Uighur dastan
- Uighur Laipaier
- Uighur script
- Uigur medicine
- Ui Hakuju
- UIM
- uinal
- u invariant of a field
- u-invariant of a field
- UIT
- uitable fishing performance
- UITP
- uitramicroelectrode
- Ujimqin sheep
- Ujimqin white goat
- Uji Shui Monogatari