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

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