[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Lambda Calculus Books

From:	CCFVX3::SEB1525      "Steve Bacher (Batchman)" 12-SEP-1988 07:12
To:	IN%"jeschke@iuvax.cs.indiana.EDU",SEB1525     
Subj:	RE: Re: Intermediate Lambda Calculus --> Machine code

Would you say that Alonzo Church's book on lambda calculus is a 
prerequisite to the Peyton-Jones book?  Or is it reasonable to dig in
without a thorough background in lambda calculus?
(John McCarthy once admitted that he had understood only a small part of
Church's lambda calculus prior to inventing Lisp - he didn't read the
whole book.)