Martin, Johannes J.2013-06-192013-06-191981http://hdl.handle.net/10919/20310A domain for functional programming systems is proposed. This domain is the powerset of a set of items where items are either atomic or ordered pairs of items. The structure of the domain is detennined by the relation 'is weaker than' and by three basic operations, under which the domain is closed: Union, the cartesian product, and the operation of application.application/pdfenIn CopyrightTechnical reportCS81004-Rhttp://eprints.cs.vt.edu/archive/00000861/01/CS81004-R.pdf