Re: Datatyping Summary V4

At 20:33 04/02/2002 +0000, Graham Klyne wrote:
[...]


>is 10.5.   So the bnodes here must both denote the same value, i.e. 10.5.

That is not my understanding of how TDL model theory *currently* works 
though I think you and Pat may have some tricks to show us.  In the TDL 
model theory proposed by jeremy the nodes denote pairs, not values, and the 
pairs are unequal, even if their value components are equal.

Brian

Received on Tuesday, 5 February 2002 04:48:51 UTC