John Case, Sanjay Jain, Frank Stephan. Effectivity Questions for Kleene's Recursion Theorem. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings. Volume 7734 of Lecture Notes in Computer Science, pages 89-103, Springer, 2013. [doi]
Abstract is missing.