Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!accuvax.nwu.edu!tank!uxc.cso.uiuc.edu!uxc.cso.uiuc.edu!ux1.cso.uiuc.edu!uicsrd.csrd.uiuc.edu!jozwiak
From: jozwiak@uicsrd.csrd.uiuc.edu
Newsgroups: comp.lang.scheme
Subject: Re: Y combinator derivation
Message-ID: <16800018@uicsrd.csrd.uiuc.edu>
Date: 23 Sep 89 19:04:00 GMT
Lines: 13
Nf-ID: #R:<8909222102.AA19330@zurich.ai.mi:-38:uicsrd.csrd.uiuc.edu:16800018:000:378
Nf-From: uicsrd.csrd.uiuc.edu!jozwiak    Sep 23 14:04:00 1989


You may want to consult:
 "Denotational Semantics-A Methodology for Language Development"
by David A. Schmidt, ISBN 0-697-06849-8.
 I think that the Y combinator is:

 Y = lambda h.(lambda x. h(x x))
              (lambda x. h(x x)) .

 I think that this does what it should is pretty patent from it, but
as for deriving it, this involves insight that I don't yet have.

  john