home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!munnari.oz.au!goanna!ok
- From: ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
- Newsgroups: comp.lang.lisp
- Subject: Re: looking information about lambda calculus
- Summary: Reference
- Keywords: lambda calculus
- Message-ID: <14140@goanna.cs.rmit.oz.au>
- Date: 21 Aug 92 09:22:46 GMT
- References: <5984@mtecv2.mty.itesm.mx>
- Organization: Comp Sci, RMIT, Melbourne, Australia
- Lines: 12
-
- In article <5984@mtecv2.mty.itesm.mx>, ojuarez@mtecv2.mty.itesm.mx (Octavio Juarez Espinosa) writes:
- > I'll appreciate if you send me some regerences about lamda calculus for
- > beginners.
-
- Introduction to Combinators and Lambda-Calculus
- J. Roger Hindley & Jonathan P. Seldim
- London Mathematical Society Student Texts 1
- Cambridge University Press 1986
- ISBN 0 521 31839 4 (paperback)
-
- --
- You can lie with statistics ... but not to a statistician.
-