理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- Stockholder's Right
- stockholding cooperative farm
- Stockholm Academy of Dramatic Arts
- Stockholm Bloodbath
- Stockholm Convention on Persistent Organic Pollutants
- Stockholm International Film Festival
- Stockholm International Water Institute
- Stockholm Prize in Criminology
- Stockholms observatorium
- stockholm syndrome
- Stockholm University
- stock index
- stock index futures
- stock index futures trading
- stock index option
- stocking
- stocking and ranching species
- stocking rate
- stock-issuance system
- stock issue
- stock issue market statistics
- stock keeping unit
- stock management
- stock market
- stock market analysis