理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- Hoang Hoa Tham
- hoarding disorder
- Hoare logic
- hoarseness
- hoax number
- Hoba meteorite
- Hobart
- Hoba West meteorite
- Hobbes
- hobble skirt
- hobby
- Hobby-Eberly Telescope
- hobis
- Hoboksar Mongol Zizhixian
- Hobq Desert
- Hobq Shamo
- Hobson
- Ho Chi Minh
- Ho Chi Minh City
- Hochschild
- Hochschild algebra
- Hochschild coboundary map
- Hochschild cohomology
- Hochschild cohomology group
- Hochschild homology