[plt-scheme] a few questions (was: Scheme questions?)

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Dec 5 13:28:55 EST 2005

On Dec 5, 2005, at 1:14 PM, Prabhakar Ragde wrote:

>
>> What Dana Scott did was formulate a topological space D so that 
>> instead
>> of having lambda calculus be interpreted as the set L of all functions
>> L to L, instead you get D beind isomorphic to the set of continuous
>> functions from D to D.
>
> I'd appreciate recommendations on readable references that cover this 
> material, which I'd like to learn. Thanks. --PR

Read Plotkin's paper on PCF as a programming language. That'll get you 
the best start into denotational semantics and domains. Work up from 
there, but be prepared to become lonely :-)

-- Matthias



Posted on the users mailing list.