W3C home > Mailing lists > Public > public-awwsw@w3.org > October 2011

Re: superimposing the Fielding and TBL architectures

From: David Booth <david@dbooth.org>
Date: Wed, 05 Oct 2011 22:55:21 -0400
To: Jonathan Rees <jar@creativecommons.org>
Cc: Pat Hayes <phayes@ihmc.us>, AWWSW TF <public-awwsw@w3.org>
Message-ID: <1317869721.24909.17375.camel@dbooth-laptop>
On Wed, 2011-10-05 at 17:49 -0400, Jonathan Rees wrote:
. . .
> Now let C be any class. Say that C is ≤-closed if the following holds:
>     for all generic resources g and h, C(g) and h ≤ g imply C(h).
> (One might say C is "heritable under specialization".)

Can you explain your notation please?  You said C is a class, but "C(g)"
looks like you are treating C as a predicate or function.  What do you
mean by "C(g)"?



-- 
David Booth, Ph.D.
http://dbooth.org/

Opinions expressed herein are those of the author and do not necessarily
reflect those of his employer.
Received on Thursday, 6 October 2011 02:55:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 6 October 2011 02:55:56 GMT