KnowraKleene fixed-point theoremLinked fromLinked fromThe 2 pages that link to Kleene fixed-point theorem, each with the reason it gives.All 2Related 1Compared with 1S-m-n theoremRelated: Parameterization is a key ingredient in obtaining fixed points for program transformations.