Kleene fixed-point theorem
article-link
What links here
Least fixed point
Descriptive complexity theory
article-link
LFP
article-link
P (complexity)
article-link
Fixed point (mathematics)
article-link
Second-order logic
article-link
Domain theory
article-link
Knaster–Tarski theorem
article-link
Kleene's recursion theorem
article-link
LL parser
article-link
Denotational semantics
article-link
Logic programming
article-link