理学 类型理论 释 λ-calculus λ演算 一种由项和规约操作组成，用于表述可计算函数的数理逻辑形式系统。
lambda-calculus λ演算† λ-calculus λ演算†
理论计算机科学 可计算性与计算复杂性 释文 λ-calculus λ演算
- God in Jainism
- God is dead
- Godmother
- Godness of the Luo River
- God Of Gamblers
- God of Literature
- God of the South Sea
- God of Wealth
- God's birthday drama
- God the Father
- God the Holy Spirit
- God the Son
- Godunov
- Godunov method
- Godunov scheme
- God Worshippers’Society
- goeldi's monkey
- Goenawan Mohammad
- Goeppert-Mayer, Maria
- goering cymbidium
- Goering-Maherero Agreement
- GOES
- Goethe Institute
- Goethe Link Observatory
- Goethe's Theory of Color