Re: Formal semantics paper - from Marco Carbone et al

Steve,

This looks like a lot of work. i may be misreading, because i have only
skimmed, but it looks as though the main theorem is a subject reduction-like
theorem in which the subject reduction is simulation-style (ala Kobayashi's
type systems) as opposed to a static subject reduction (ala Honda, et al's
type systems). Have you seen, therefore, Kobayashi's 2006 types for
concurrency paper (
http://www.kb.ecei.tohoku.ac.jp/~koba/papers/concur2006-full.pdf)?

Best wishes,

--greg

On 8/1/06, Steve Ross-Talbot <steve@pi4tech.com> wrote:
>
>
> Is at:
>
> http://lists.w3.org/Archives/Public/www-archive/2006Aug/att-0000/
> workingNote.pdf
>
> Please read and comment as soon as possible.
>
> Cheers
>
> Steve T
>
>


-- 
L.G. Meredith
Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740