理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- harmonizing liver and spleen
- harmonizing spleen and stomach
- harmonograph
- harmonometer
- harmony
- harmony between city and countryside
- harmony function-net
- harmony in the field of aviation
- harmony melody
- harmony symbol
- harm principle
- Harnack
- Harnack condition
- Harnack inequality
- Harnack integral
- Harnack lemma
- Harnack principle
- Harnack theorem
- harness
- harnessing the Huaihe River
- Harnessing the Yellow River by Jia Lu
- harness system
- Haroche, Serge
- Haro classification
- Haro galaxy