On Apr 11, 2013, at 12:41 PM, Khalid Belhajjame <Khalid.Belhajjame@cs.man.ac.uk> wrote: > Hi James, > > > On 11 April 2013 12:35, James Cheney <jcheney@inf.ed.ac.uk> wrote: > Hi, > > I've fixed most things. > > I have a couple of questions/clarifications about the reviews. Perhaps we can discuss briefly today during the call. > > > - Satya and Khalid ask > > > C1. In Section 1.1., it will be helpful to provide a reference to Naive Semantics. > > > > > > Minor issues: > > Section 1.1 > > As Khalid pointed out, need to clarify or cite "Naive Semantics". > > I'm not sure what is being asked for - "naive" doesn't have a technical meaning here. I added references from other occurrences of "naive semantics" to the first example. > > In that case, I think it will be sufficient to state that, as one may think there is a class of semantics called naive. OK, what I have done instead is just removed the word "naive". It was mostly there to flag the fact that (in earlier versions) the semantics lacked a completeness property. This is no longer the case, so the warning no longer seems needed. --James
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
Received on Thursday, 11 April 2013 14:45:46 UTC