理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- chromospheric flocculus
- chromospheric knot
- chromospheric line
- chromospheric material
- chromospheric mottling
- chromospheric network
- chromospheric plage
- chromospheric spectrum
- chromospheric spicule
- chromospheric spike
- chromospheric telescope
- chromospheric temperature
- chromospheric whirl
- chromotin remodeling
- chromotropism
- chromotropy
- chromotype
- Chron
- chronaxie
- chronaximeter
- chronemics
- chronic abdominal pain
- chronic animal experiment
- chronic apical periodontitis
- chronic appendicitis