Date of this Version
The problem of decomposing domains into sensible factors is addressed and solved for the case of dI-domains. A decomposition theorem is proved which allows to represent an arbitrary dI-domain as a set of records with variants. The special case of direct product decompositions of Scott-domains is studied separately.
Achim Jung, Leonid Libkin, and Hermann Puhlmann, "Decomposition of Domains", . November 1990.
Date Posted: 14 August 2007