home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / lisp / 2258 < prev    next >
Encoding:
Internet Message Format  |  1992-08-19  |  781 b 
  1. Path: sparky!uunet!psgrain!percy!data!kend
  2. From: kend@data.rain.com (Ken Dickey)
  3. Newsgroups: comp.lang.lisp
  4. Subject: Re: looking information about lambda calculus
  5. Keywords: lambda calculus
  6. Message-ID: <702@data.rain.com>
  7. Date: 19 Aug 92 16:24:13 GMT
  8. References: <5984@mtecv2.mty.itesm.mx>
  9. Organization: Microtek DSD, Hillsboro, OR
  10. Lines: 16
  11.  
  12. ojuarez@mtecv2.mty.itesm.mx (Octavio Juarez Espinosa) writes:
  13.  
  14. >I'll appreciate if you send me some regerences about lamda calculus for
  15. >beginers.
  16.  
  17. I would recommend Michael Gordon's _Programming Language Theory and 
  18. its Implementation_, Prentice Hall, 1988, ISBN 0-13-730417-X.
  19.  
  20.  
  21. The classic (although somewhat heavy going) is Barendregt's
  22. _The Lambda Calculus, Its Syntax and Semantics_, North Holland,
  23. 1981, ISBN 0-444-87508-5.
  24.  
  25.  
  26. -Ken
  27.  
  28.