Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!amdcad!ames!mailrus!husc6!bloom-beacon!ZOHAR.AI.MIT.EDU!gjs From: gjs@ZOHAR.AI.MIT.EDU (Gerald Jay Sussman) Newsgroups: comp.lang.scheme Subject: Lambda Calculus Books Message-ID: <8809121446.AA07392@zohar> Date: 12 Sep 88 14:46:13 GMT References: <8809121227.AA28967@zurich> Sender: daemon@bloom-beacon.MIT.EDU Organization: The Internet Lines: 4 Church's book is pretty irrelevent and unnecessary these days. If you want something theoretical about Lambda Calculus read Stoy. You certainly don't need anything more hairy than SICP to read Peyton-Jones.