理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- radio active sun
- radioactive survey data
- radioactive tracer
- radioactive tracer log
- radioactive tracer of nanomaterials
- radioactive tracer petroleum well logger
- radioactive tracer sand technology
- radioactive waste
- radioactive waste conditioning
- radioactive waste disposal
- radioactive waste management
- radioactive waste management; radwaste management
- radioactive waste minimization principle
- radioactive waste repository
- radioactive-waste solidification
- radioactive waste treatment
- radioactive yield
- radioactivity
- radioactivity activity
- radioactivity activity; disintegration rate
- radioactivity analysis for uranium content of uranium ore
- radioactivity calorimetric method
- radioactivity-contaminated atmosphere
- radioactivity-contaminated environment
- radioactivity-contaminated environment and remediation