Re: TDL Model Theory

At 04:42 PM 1/24/02 +0200, Patrick Stickler wrote:
> > I really meant to say:
> >>    <"10",2>
> >>    <"10",10>
>
>It's probably clearer to indicate that these mappings
>are within the scope of a specific datatype, e.g.
>
>    BinaryNumber("10",2)
>    DecimalNumber("10",10)

Trouble is, that's not what Jeremy's proposed MT says.

(All this is really emphasizing, to me at least, why it is so important to 
have a proper formalism... I think I now understand what is being 
proposed.  Thanks for providing that, Jeremy.)

#g


------------------------------------------------------------
Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
<Graham.Klyne@MIMEsweeper.com>
        __
       /\ \
      /  \ \
     / /\ \ \
    / / /\ \ \
   / / /__\_\ \
  / / /________\
  \/___________/

Received on Friday, 25 January 2002 08:28:14 UTC