Lambda演算

Lambda演算与函数式编程的起源：从阿隆佐·邱奇的理论到Lisp、Haskell