理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- matte
- matte converting by P-S converter
- mattedness
- Matteo Bandello
- Matteo Maria Boiardo
- Matteo Ricci
- Matteo Ricci's World Map
- Matteo Ricco
- Matteotti Crisis
- matte painter
- matte painting
- matter
- Matterania
- matter-antimatter asymmetry
- matter-antimatter cosmology
- matter-antimatter symmetry
- matter balance equations
- matter bounce model
- matter classification
- matter cycle on the earth surface
- matter dominated era
- matter dominated universe
- matter element analysis method
- matter era
- matter in the fundamental representation