Comment Comment by cbarrick They're one and the same. Y = λf.(λx.f (x x)) (λx.f (x x)) parent cbarrick 3 years ago