理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- vents system
- Ventura García Calderón
- venture financing
- Venture Investment
- Venture Philanthropy
- Venturi effect
- Venturi flume
- Venturi House Chestnut Hill
- Venturi meter
- Venturimeter
- Venturi tube
- vent valve
- Venue Management
- venule
- Venus
- Venus Climate Orbiter
- Venus comb murex
- Venus, Cupid, Folly and Time
- Venus exploration
- Venus Express
- Venus Express probe
- Venus flytrap
- Venus globe
- Venus landing
- Venus of Urbino