+1 Best, Satya On Thu, Apr 11, 2013 at 10:45 AM, James Cheney <jcheney@inf.ed.ac.uk> wrote: > > 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:48:32 UTC