Learn More
We develop a powerdomain construction, [. ], which is analogous to the powerset construction and also fits in with the usual sum, product and exponentiation constructions on domains. The desire for(More)