Denotational semantics using metric spaces

Article View: comp.lang.functional

Article #183

Back to comp.lang.functional Previous Next

#183

From: Andrew Moran
Date: Thu, 27 Aug 1992 11:30

17 lines
1025 bytes

I'm interested in finding out more about the possibility of using
metric spaces instead of domains to model the lambda calculus,
particularly the non-deterministic lambda calculus.

Please e-mail any references you think are appropriate.
I will post a summary.

Thanks,

Andy

----------
"Hire you a horse?  For ninepence?  On Jewish New Year's Eve in the rain?  A
 bare fortnight after the dreaded horse plague of Old London Town?  With the
 blacksmith's strike in its fifteenth week and the Dorset Horse-Fetishists
 fair tomorrow?" -- Baldrick, dogsbody to the butler to the Prince Regent.
---------------

Technical Details

Message-ID: <andrew.714915039@cs.chalmers.se>

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!chalmers.se!cs.chalmers.se!vittra15!andrew

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!chalmers.se!cs.chalmers.se!vittra15!andrew
From: andrew@vittra15.cs.chalmers.se (Andrew Moran)
Newsgroups: comp.lang.functional
Subject: Denotational semantics using metric spaces
Message-ID: <andrew.714915039@cs.chalmers.se>
Date: 27 Aug 92 11:30:39 GMT
Sender: news@cs.chalmers.se (News administrator)
Organization: Dept. of CS, Chalmers, Sweden
Lines: 17