随笔分类 -  λ演算

λ演算概述
摘要：λ演算（Lambda-calculus）是一套用于研究函数定义、应用和递归的形式系统。它由阿兰佐·丘奇（Alonzo Church）和史蒂芬·科尔·克林（Stephen Cole Kleene）在20世纪三十年代引入。丘奇运用λ演算在1936年给出“判定性问题”（Entscheidungs prob... 阅读全文
posted @ 2014-04-30 21:33 土豆俗称地蛋 阅读(402) 评论(0) 推荐(0)