I didn't examine each function in detail, but it looks like totally the real picture. If you have lexical scoping and anonymous functions, you have the Y combinator. I don't know if PHP has true lexical scoping and anonymous functions yet, but if it does, then yes, you can implement the Y combinator in PHP.
