The author explored the formalization of Kleene's second recursion theorem, motivated by a desire to understand the theorem beyond a hand-wavy level.
register or log in to get more services such as weather report, extended news articles and web search