Re: Proposal to incorporate datatyping into the model theory (was Re: datatyping discussion)

Pat Hayes wrote:


> 
> I will work up a draft extension to the MT document  which covers it and 
> explains the alternatives, and then people can discuss it, how's that?


Before we get to that, I'd like to see a few use cases and examples of the 
different approaches, and I'd like the WG to make a decision as to which of 
these approaches it wishes to persue.

Brian

Received on Tuesday, 23 October 2001 10:24:54 UTC