λ演算

λ演算λ演算（也写作λ-calculus）是数学逻辑中的一个形式系统，用于表达基于函数抽象和应用的计算，使用变量绑定和替换。 它是一种通用计算模型，可用于模拟任...