Re: TDL - Model theory take 1.

OK.

Patrick

On 2002-01-24 16:19, "ext Jeremy Carroll" <jjc@hplb.hpl.hp.com> wrote:

>> 
>> Do we want to reference sections 1-3 of Sergey's document
>> at all, if Peter's SWOL specification gives us that machinery?
>> (or does it?)
>> 
> 
> Yes keep Sergey's ref. as well as Peter's.
> 
> Peter's document is quite terse. The real debt (for me at least) is to a
> conversation I had with him at webont f2f (which I guess we don't
> reference).
> 
> Jeremy
> 
> 

--
               
Patrick Stickler              Phone: +358 50 483 9453
Senior Research Scientist     Fax:   +358 7180 35409
Nokia Research Center         Email: patrick.stickler@nokia.com

Received on Thursday, 24 January 2002 10:42:08 UTC