 Recursion theorem

Kleene recursion gives programs access to their own effective descriptions: every computable transformation of program indices has a semantic fixed point.