home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / lisp / 2249 < prev    next >
Encoding:
Internet Message Format  |  1992-08-19  |  929 b 
  1. Path: sparky!uunet!caen!uakari.primate.wisc.edu!aplcen.apl.jhu.edu!hall
  2. From: hall@aplcen.apl.jhu.edu (Marty Hall)
  3. Newsgroups: comp.lang.lisp
  4. Subject: Re: looking information about lambda calculus
  5. Keywords: lambda calculus
  6. Message-ID: <1992Aug19.140807.5493@aplcen.apl.jhu.edu>
  7. Date: 19 Aug 92 14:08:07 GMT
  8. References: <5984@mtecv2.mty.itesm.mx>
  9. Reply-To: hall@aplcen (Marty Hall)
  10. Organization: AAI Corp AI Lab, JHU P/T CS Faculty
  11. Lines: 13
  12.  
  13. In article <5984@mtecv2.mty.itesm.mx> ojuarez@mtecv2.mty.itesm.mx 
  14. (Octavio Juarez Espinosa) writes:
  15.  
  16. >I'll appreciate if you send me some regerences about lamda calculus for
  17. >beginers.
  18.  
  19. Since you posted this in comp.lang.lisp, you may be interested in references
  20. in the context of LISP. If so, take a look at "LISP, Lore, and Logic: An
  21. Algebraic View of LISP Programming, Foundations, and Applications", by
  22. Richard Stark. Springer-Verlag 1990.
  23.  
  24.                     - Marty
  25. (proclaim '(inline skates))
  26.