[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Y combinator derivation
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.
MIT Artificial Intelligence Lab
545 Technology Sq.
Cambridge, Ma. 02139