理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- Douglas-Neumann theorem
- Douglas problem
- Douglas-Radó solution
- Douglass Cecil North
- Douglas scheme
- Douglas Stewart
- Douglas W. Fuerstenau
- Dou Guoren
- Dou Ji
- Dou Jian
- Dou Jiande
- Dou Jingfan
- Doujitai Cemetery
- Doujitai Culture
- Doukhobors
- Doukhobours
- Doukmaisoud
- Dou lacquerware with a colourful pattern and dragon relief
- Doumoto Masaki
- Doupeng Shan
- doupion cocoon
- doupioni pongee
- doupion silk
- doupion silk special defects
- douplasmatron