Path: utzoo!attcan!uunet!lll-winken!lll-tis!helios.ee.lbl.gov!pasteur!ucbvax!bloom-beacon!draper.COM!SEB1525
From: SEB1525@draper.COM ("Steve Bacher ", Batchman)
Newsgroups: comp.lang.scheme
Subject: Lambda Calculus Books
Message-ID: <8809121253.AA25062@BLOOM-BEACON.MIT.EDU>
Date: 12 Sep 88 11:20:00 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Organization: The Internet
Lines: 9

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