Formal semantics notes from James Cheney on 2011-07-21 (public-prov-wg@w3.org from July 2011)

From: James Cheney <jcheney@inf.ed.ac.uk>
Date: Thu, 21 Jul 2011 15:46:29 +0100
To: W3C provenance WG <public-prov-wg@w3.org>
Message-Id: <1AD7297B-497E-4E04-AEEB-CDC0A8D88C79@inf.ed.ac.uk>

Hi,

Here:

http://homepages.inf.ed.ac.uk/jcheney/pilformalsemantics.pdf

are some slides I plan to use to structure today's brief discussion  
about the "formal semantics" (optional) deliverable during today's  
meeting.

--James

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Thursday, 21 July 2011 14:46:56 UTC