lambda演算

老外写了系列文章，cgnail 做了中文翻译，非常棒，每篇翻译都有原文的链接。