Program Self-reference in Constructive Scott Subdomains.

John Case, Samuel E. Moelius

Browse the full CiE paper archive.