Jason (jcreed) wrote,
Jason
jcreed

I was looking for some information about some work Dana Scott did in the early 80s.

After a few google tries, http://c2.com/cgi/wiki?DanaScott sadly only told me what I already knew:
"...Scott's key construction was a solution to the "domain equation" D corresponds to [D -> D] thus giving the first mathematical model of the type-free LambdaCalculus. This led to a general theory of solutions of recursive domain equations..." .

But the first try, googling for just "scott's construction" got me http://groups.msn.com/ScottsHornayHoneyz. "Home of the Honeyz", y'all.

---

Hm, this paper is kind of what I was looking for, although Paul Taylor is a little too bad-ass for my mortal understanding of category theory.
Tags: math
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 3 comments