理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- rotenoid
- rotenone
- Roth
- Rothamsted Experimental Station
- Rothamsted Research
- Rothe
- Rothe method
- Roth,Klaus Friedrich
- Roth removal rule
- Roth theorem
- rotifer culture
- rotiform
- Rotimi Fani-Kayode
- Rotman
- rotoblast
- rotodome
- rotodyne
- rotoflector
- rotograph
- rotogravure
- rotoinversion
- rotoinversion axis
- rotoinversion axis; rotation-inversion axis
- Rotoitidae
- rotometer