[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: scheme@mc.lcs.mit.edu*Subject*: Re: Y combinator derivation*From*: ux1.cso.uiuc.edu!uicsrd.csrd.uiuc.edu!jozwiak@uxc.cso.uiuc.edu*Date*: Sat ,23 Sep 89 15:04:00 EDT*Sender*: scheme-request@mc.lcs.mit.edu

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

**Follow-Ups**:**Re: Y combinator derivation***From:*Brad Pierce <lanai!pierce@locus.ucla.edu>

- Prev by Date:
**Re: Y combinator derivation** - Next by Date:
**Re: Y combinator derivation** - Previous by thread:
**Re: Y combinator derivation** - Next by thread:
**Re: Y combinator derivation** - Index(es):