理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- thermoinstrument
- thermoion
- thermoionic emission
- thermoisodrome
- thermoisogradient
- thermoisopleth
- thermojet
- thermojunction
- thermokinetics
- thermokinetics of chemical reaction
- thermolator
- thermolize
- thermology
- thermoluminescence
- thermoluminescence dating
- thermoluminescence detector
- thermoluminescence method
- thermoluminescence polymer
- thermoluminescence (TL)
- thermoluminescent
- Thermoluminescent Dating
- thermo-luminescent dosimeter
- thermoluminescent dosimeter
- thermolysin
- thermolysis