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.

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 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:21:09 UTC