lambda-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- hippie style
- hippocampal formation
- hippocampal gyrus
- hippocampus
- Hippocrates
- Hippocrates crater
- Hippocrates lunar
- Hippocrates of Chios
- Hippocrates of chios
- Hippocrates of Chios (约公元前470—约前410)
- Hippocrates theorem
- Hippocrates' theory of humor
- Hippocratic Oath
- Hippodamus Planning System
- hippo ivory
- Hippolyte Adolphe Taine
- Hippolyte Taine
- hippopede
- hippuric acid
- HIPS
- Hirabayashi Taiko
- Hiraide Takashi
- Hirano Keiichirou
- Hirase's slit shell
- Hirayama crater