Dedekind completion as a method for constructing new Scott domains

PDF BibTeX

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

Klaus Grue, March 14, 2012