理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- flannelette
- flannelette sofa fabric
- flannel fabric
- Flannery O'Connor
- flap
- flap actuation system
- flapping
- flap valve
- flap wound
- flare
- flare arc
- flare class
- flare flash
- flare importance
- flare indicator
- flare kernel
- flare-like brightening
- flare-like phenomenon
- flare loop
- flare nimbus
- flare onset
- flare particle emission
- flare physics
- flare puff
- flare ribbon