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

Re: Lambda Calculus Books

To: scheme@mc.lcs.mit.edu
Subject: Re: Lambda Calculus Books
From: Phil Windley <windley@cheetah.ucdavis.edu>
Date: Mon, 12 Sep 88 08:45:04 -0800
In-reply-to: Your message of Mon, 12 Sep 88 10:46:13 -0500. <8809121446.AA07392@zohar>

I've seen a book by Barendregt (I think the spelling's right) on lambda
calculus.  Is it any good?

Phil Windley                          |  windley@iris.ucdavis.edu
Division of Computer Science          |  ucbvax!ucdavis!iris!windley
College of Engineering                |  (916) 752-7324 (or 3168)
University of California, Davis       |  Davis, CA 95616

Follow-Ups:
- Re: Lambda Calculus Books
  - From: mailrus!umich!kfr@ohio-state.arpa (Karl F. Ruehr)

References:
- Lambda Calculus Books
  - From: gjs@ZOHAR.AI.MIT.EDU (Gerald Jay Sussman)

Prev by Date: Lambda Calculus Books
Next by Date: Question on Combinator Reduction
Previous by thread: Lambda Calculus Books
Next by thread: Re: Lambda Calculus Books
Index(es):
- Date
- Thread