Re: POSSREPs as union types

From: <compdb_at_hotmail.com>
Date: Fri, 4 Sep 2009 12:55:12 -0700 (PDT)
Message-ID: <13435224-9bd5-4123-9af3-70e03aafcab7_at_t11g2000prh.googlegroups.com>



Please ignore all mention of "cartesian" in my last message.

On Sep 3, 1:22 pm, com..._at_hotmail.com wrote:
> A possrep (possible representation) maps a subset of a
> cartesian product (namely those that satisfy the possrep constraint)
> to values of the type. Two cartesian tuples can map to the same
> value. A selector invocation (a possrep name with arguments) maps
> its arguments as a cartesian tuple to the corresponding value.

I should have said:
A possrep (possible representation) maps a subset of a tuple type (namely those that satisfy the possrep constraint) to values. Two tuples can map to the same value. A selector invocation (a possrep name with arguments) maps its arguments as a tuple to the corresponding value.

philip Received on Fri Sep 04 2009 - 14:55:12 CDT

Original text of this message