Dedekind completion as a method for constructing new Scott domains

PDF BibTeX

Presented at the Computing: the Australasian Theory Symposium (CATS) 2002