‘λ演算’是什么 2023-12-15 349 λ演算（Lambda Calculus）是一种形式系统，用于研究函数定义、函数应用和递归的数学逻辑。由数学家阿隆佐·丘奇于20世纪30年代提出，λ演算对现代计算机科学尤其是编程语言理论产生了深远影响。 …
