理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- hidden surface removal technique
- hidden symmetry
- hidden terminal
- hidden trouble investigation
- hidden variable
- hidden variables
- hidden variables theory
- hidden variable theory
- hidden zero
- Hideki
- Hideki Fujii
- Hideki Okayama
- Hideki Shirakawa
- Hideki Yukawa
- Hideko Hirayama
- Hideo Hatoyama
- hide substance
- hidradenitis suppurativa
- hiduminium
- Hierakonpolis
- hierarchical
- hierarchical addressing
- hierarchical basis method
- hierarchical Bayesian decision
- hierarchical bounding box