Cartesian closed categories of separable Scott domains

Andrej Bauer, Gordon D. Plotkin, Dana S. Scott. Cartesian closed categories of separable Scott domains. Theoretical Computer Science, 546:17-29, 2014. [doi]

Abstract

Abstract is missing.