I vouched this. I have no idea whether it's true, but I think it's worth discussing and relevant to the topic. My first real introduction to fixed points was in Dijkstra's weakest precondition semantics of imperative programs, where supplies the semantics of a while loop (via the Knaster-Tarski theorem). I wouldn't be surprised if there were indeed something deeper and more general there.