Steven Shaw

$\lambda f. (\lambda x. f (x\;x)) \; (\lambda x. f (x\;x))$