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