理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- helper virus
- helpful herding
- helping behavior
- helping information cyber criminal activities
- help people help themselves
- Helsingborg
- Helsinki City Theatre
- Helsinki Meeting
- Helsinki University Observatory
- Helsinki University of Technology
- Helson
- Helson set
- Helson-Szeg⍥ measure
- Helvetica
- Helvetica字体
- Helvetic Republic
- Helvetios
- He Lü
- He Lüting
- HEMA
- Hemachandra
- hemafecia
- hemagglutinin
- hemagglutinin (HA)
- hemagglutinin,HA