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.

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 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:33:06 UTC