W3C home > Mailing lists > Public > www-archive@w3.org > September 2006

Re: semantic web proof, curry/howard isomorphism, N3/turtle syntax and semantics stuff

From: Dan Connolly <connolly@w3.org>
Date: Thu, 07 Sep 2006 13:39:27 -0500
To: Harry Halpin <hhalpin@ibiblio.org>
Cc: Jos De Roo <jos.deroo@agfa.com>, www-archive@w3.org, Sandro Hawke <sandro@w3.org>
Message-Id: <1157654367.9288.1401.camel@dirk>

On Thu, 2006-09-07 at 13:23 -0500, Dan Connolly wrote:
[...]
> Harry and just had an interesting discussion about semantic
> web proof, and I told him I'd give him a pointer.

Harry, we also flew by the Necula/Felten PCA stuff. I just
ran across a message about that stuff.

http://lists.w3.org/Archives/Public/www-rdf-logic/2003Apr/0104.html

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Thursday, 7 September 2006 18:39:38 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 14:43:03 UTC