Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

November 1990

Comments

University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-90-84.

Abstract

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.

Share

COinS
 

Date Posted: 14 August 2007