I was about to make similar suggestions, but I realized that OP is talking about Kleene's fixed-point theorem for continuous functions on directed-complete partial order, whereas your answer is about Kleene's recursion theorem. (But maybe there's a smart way to see the latter as a corollary of the former.)
↧