John Case, Samuel E. Moelius. Program Self-reference in Constructive Scott Subdomains. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 89-98, Springer, 2009. [doi]
Abstract is missing.