则，来研究函式如何抽象化定义、函式如何被应用以及递回的形式系统。它由数学家阿隆佐·邱奇在20世纪30年代首次发表。lambda演算作为一种广泛用途的计算模型，可以清晰地定义什么是一个可计算函式，而任何可计算函式都能以这种形式表达和求值，它能模拟单一磁带图灵机的计算过程；尽管如此，lambda演算强调的是变换规则的运用，而非实现它们的具体机器。lambda演算可比拟是最根本的编程语言，它包括了一条变换规则（变数替换）和一条将函式抽象化定义的方式。因此普遍公认是一种更接近软体而非硬体的方式。对函数式编程语言