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

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