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.)