W3C home > Mailing lists > Public > www-tag@w3.org > May 2010

progress on logic terminology for httpSemantics discussions

From: Dan Connolly <connolly@w3.org>
Date: Tue, 04 May 2010 13:31:22 -0500
To: www-tag@w3.org
Message-ID: <1272997882.19911.3222.camel@pav.lan>
I made some progress on this action yesterday.
http://www.w3.org/2001/tag/group/track/actions/413

If you *already know* logic and model theory fairly
well (e.g. Henry), you're welcome to look at
the presentation linked in the notes of that
action and help me out with it; from early
reviews, I gather that the context-setting
could use some work.

If you *don't*, I'd rather you didn't look yet.
You can only take one first look at something,
and I'd rather you didn't use it up yet.

I'd rather we went through it together.

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Tuesday, 4 May 2010 18:31:24 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:48:20 GMT