home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / function / 1044 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  998 b 
  1. Path: sparky!uunet!mcsun!sunic!chalmers.se!cs.chalmers.se!vittra15!andrew
  2. From: andrew@vittra15.cs.chalmers.se (Andrew Moran)
  3. Newsgroups: comp.lang.functional
  4. Subject: Denotational semantics using metric spaces
  5. Message-ID: <andrew.714915039@cs.chalmers.se>
  6. Date: 27 Aug 92 11:30:39 GMT
  7. Sender: news@cs.chalmers.se (News administrator)
  8. Organization: Dept. of CS, Chalmers, Sweden
  9. Lines: 17
  10.  
  11. I'm interested in finding out more about the possibility of using
  12. metric spaces instead of domains to model the lambda calculus,
  13. particularly the non-deterministic lambda calculus.
  14.  
  15. Please e-mail any references you think are appropriate.
  16. I will post a summary.
  17.  
  18. Thanks,
  19.  
  20. Andy
  21.  
  22. ----------
  23. "Hire you a horse?  For ninepence?  On Jewish New Year's Eve in the rain?  A
  24.  bare fortnight after the dreaded horse plague of Old London Town?  With the
  25.  blacksmith's strike in its fifteenth week and the Dorset Horse-Fetishists
  26.  fair tomorrow?" -- Baldrick, dogsbody to the butler to the Prince Regent.
  27. ---------------
  28.