Cada función recursiva definida puede ser vista como un punto fijo de otra función adecuada, y por lo tanto, utilizando "Y", cada función recursiva definida puede expresarse como una expresión lambda.