阅读笔记,关于lambda演算

前阵子对Lisp颇为好奇,但是碍于其晦涩难懂,对于我这个用C#搞开发的,从组装面条式程序代码过来的“肤浅”码农来说,急需一个答案来回答:“这货到底是怎么来的”? 翻来翻去,被我找到牛人blog一处,现正在阅读,并做一下目录,理一下阅读顺序。。

首先,感谢一篇blog: 康托尔、哥德尔、图灵——永恒的金色对角线

上面这篇将我引导到了: csdn的g9yuayon之处

  1. good math, bad math之Lambda算子简介
  2. lambda算子简介1.a
  3. lambda算子 1.b
  4. lambda算子3:阿隆佐.丘齐(Alonzo Church)的天才
  5. lamdba算子4:布尔值和选择
  6. Lambda算子5a:Why oh why Y?
  7. Lambda算子5b:How of Y

Published: January 15 2013

prize