摘要：lambda创世纪 lambda介绍 λ演算（英语：lambda calculus，λ calculus）是一应用于研究函数定义、函数应用和递归的形式系统。它由阿隆佐·邱奇和他的学生斯蒂芬·科尔·克莱尼在20世纪30年代引入。邱奇运用λ演算在1936年给出判定性问题（Entscheidungs... 阅读全文