Learn More
bases were introduced in [Smyth, 1977] where they are called \R-structures". Examples of abstract bases are concrete bases of continuous domains, of course, where the relation is the restriction of(More)