[clubanga]

Yes they can but they need grounding to mitigate infinite regress and hallucination. They can be grounded as a y combinator fixed point λ := ∀x (x -> x).