The Y Combinator

• Applying this term to itself as before:
• (lambda x: F(x x)) (lambda x: F(x x))
• Evaluates to: F ((lambda x: F(x x)) (lambda x: F(x x)))
• Evaluates to: F(F ((lambda x: F(x x)) (lambda x: F(x x))))
• Evaluates to: F(F(F ((lambda x: F(x x)) (lambda x: F(x x)))))
• ….
• F(F(F(...F((lambda x. F(x x)) (lambda x. F(x x)))…))))
• ….