| From: Prabhakar Ragde (plragde at uwaterloo.ca) Date: Mon Dec 5 13:14:14 EST 2005 |
|
> 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
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}