Что такое Y-Combinator?

А вы о чем подумали? Правильно, это анонимная рекурсия в ламбда-языках