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

*To*: scheme@mc.lcs.mit.edu*Subject*: Lambda Calculus Books*From*: "Steve Bacher (Batchman)" <SEB1525%draper.com@RELAY.CS.NET>*Date*: Mon ,12 Sep 88 07:20:00 EDT

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

- Prev by Date:
**Re: Intermediate Lambda Calculus --> Machine code** - Next by Date:
**Lambda Calculus Books** - Previous by thread:
**Re: Intermediate Lambda Calculus --> Machine code** - Next by thread:
**Lambda Calculus Books** - Index(es):