lambd演算

目的

主要是做个收藏

连接

Good math, bad math

这是一篇相当优秀的文章,然后国内有人做了翻译,见: