Y combinator derivation

[markf@zurich.ai.mit.edu]

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