Lambda演算是一个形式系统，它被设计出来用来研究函数定义，函数应用和递归。 它是在二十世纪三十年代由Alonzo Church 和Stephen Cole Kleene发明的。
www.google.com.tw
提供