Lambda-Calculus

Lambda演算（Lambda Calculus）與函數式編程的起源：從阿隆佐·邱奇的理論到Lisp、Haskell