群组首页 → 编程语言 → 7/9 → 论坛
发表回复

[魔力符号] T1老大能不能推荐些讲述lambda演算的文章

simohayha 2007-05-24
如题，先谢谢了。最好是结合scheme之类的函数式语言来讲的。
bigpanda 2007-05-25
有本书叫The Lambda Calculus: It's Syntax and Semantics, by Barendregt. 据说是经典之作,type-free lambda calculus之百科书。

这是Amazon的网页，http://www.amazon.com/Lambda-Calculus-Semantics-Foundations-Mathematics/dp/0444867481/ref=sr_1_1/002-3332094-6266456?ie=UTF8&s=books&qid=1180077929&sr=8-1

这本书已经绝版，但是网上有：http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html

我现在感兴趣的倒是typed lambda calculus，正在看这本书：Foundations of Object-Oriented Languages, Types and Semantics, by Kim B. Bruce.

第二部分是讲Lambda Calculus的，

Part II Foundations: The Lambda Calculus
Chapter 8. Formal Language Descriptions and the Lambda Calculus
Chapter 9. The Polymorphic Lambda Calculus.

这本书写的通俗易懂，没有扯到Category Theory。

电子版有，可以找来看看。
Trustno1 2007-05-29
CSDN的blog 负暄琐话,里面也有一系列介绍Lambda的文章,可以拿来入入门.
coolspeed 2008-11-27
Trustno1 写道
CSDN的blog 负暄琐话,里面也有一系列介绍Lambda的文章,可以拿来入入门.


T1也看g9的博客压
发表回复
Global site tag (gtag.js) - Google Analytics