理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- opencast survey
- open cavity
- open cavity, open resonator
- open cell
- Open Center for Citizen Activities Square
- open chain crater
- open channel
- open channel diversion
- open channel flow
- open channel flowmeter
- open channel hydraulics
- open channel spillway
- open circle
- open circuit
- open circuit hydraulic system
- open circuit potential
- open circuit voltage
- open-circuit voltage
- open-circuit voltage, OCV
- open circular DNA 开环
- open circulating water system
- open circulation theory
- OpenCL
- open-closed set
- open-closed supplementation and draining method