Denotational semantics using metric spaces

Thread View: comp.lang.functional

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Andrew Moran Thu, 27 Aug 1992 11:30

#183

Author: 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.
---------------

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads