lambda calculus 纠错

英 [ˈlæmdə ˈkælkjələs] 美 [ˈlæmdə ˈkælkjələs]

• λ演算：一种用于研究函数抽象和应用的形式系统，广泛应用于计算机科学、逻辑学和数学等领域。