Decomposition of Domains

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 the represention of a large subclass of dI-domains in a product of at domains. Direct product decompositions of Scott-domains are studied separately.

• Type: Conference
• Year: 1991
• Where: MFPS
• Authors: Achim Jung, Leonid Libkin, Hermann Puhlmann
• Keywords: Decomposition Theorem, Direct Product Decompositions, MFPS 1991, Programming Languages, Sensible Factors