Program Self-Reference in Constructive Scott Subdomains

John Case, Samuel E. Moelius. Program Self-Reference in Constructive Scott Subdomains. Theory Comput. Syst., 51(1):22-49, 2012. [doi]

Abstract

Abstract is missing.