Kleene's recursion theorem
= Kleene's recursion theorem
{c}
{wiki}
= Recursion theorem
{synonym}
Kleene recursion gives programs access to their own effective descriptions: every computable transformation of program indices has a semantic fixed point.