Path: utzoo!attcan!uunet!bloom-beacon!ZURICH.AI.MIT.EDU!markf
From: markf@ZURICH.AI.MIT.EDU
Newsgroups: comp.lang.scheme
Subject: Y combinator derivation
Message-ID: <8909222102.AA19330@zurich.ai.mit.edu>
Date: 22 Sep 89 21:02:06 GMT
Sender: daemon@bloom-beacon.MIT.EDU
Reply-To: markf@zurich.ai.mit.edu
Organization: The Internet
Lines: 19

Sometime in the middle past (i.e. more than six months ago and less
than two years ago) someone posted a nice derivation of the Y
combinator. He or she took a recursive definition of factorial (I
think) and through a series of abstractions derived Y. 

I thought I saved this little gem but I can't find it. I also can't
find it in the scheme archives here at MIT. If someone else saved this
or if the author reads this I would appreciate it if they could send
me a copy.

Thanks.


Mark Friedman
MIT Artificial Intelligence Lab
545 Technology Sq.
Cambridge, Ma. 02139

markf@zurich.ai.mit.edu