理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- overwrite
- OV-France
- O. V. Guericke
- O. V. Guericke, 1602—1686
- ovicell
- Ovid
- Ovide Decroly
- oviduct
- oviductus rsnse
- Oviedo
- ovification
- ovijector
- Ovimbundu
- oviparity
- oviparous animal
- oviposition
- oviposition sequence
- oviposition stimulant
- ovipositor
- oviraptorosaurs
- ovoid
- ovoidal
- ovonic electroluminescence
- ovoplasm
- ovorubin