cttqe is a version of Church’s type theory that includes quotation and evaluation operators that are similar to quote and eval in the Lisp programming language. With quotation and evaluation it is possible to reason in cttqe about the interplay of the syntax and semantics of expressions and, as a result, to formalize syntax-based mathematical algorithms. We present the syntax and semantics of c...

Abstract A common framing has it that any adequate treatment of quotation to abandon one the following three principles: (i) The quoted expression is a syntactic constituent quote phrase; (ii) If two expressions are derived by applying same rule sequence synonymous expressions, then they synonymous; (iii) language contains but distinct expressions. In following, formal syntax and semantics will...

cttqe is a version of Church’s type theory that includes quotation and evaluation operators that are similar to quote and eval in the Lisp programming language. With quotation and evaluation it is possible to reason in cttqe about the interplay of the syntax and semantics of expressions and, as a result, to formalize syntax-based mathematical algorithms. We present the syntax and semantics of c...

" While the microscope possesses a certain scientific value in malaria, which is still indefinite, there is no doubt that it has acquired a very distinct commercial value in the profession ; indeed Ross has gone so far as to state that ' the success of Imperialism in the coming century will depend largely on the microscope in malaria,' notwithstanding that the science of malarial parasitology h...

We address the problem of automatically attributing quotations to speakers, which has great relevance in text mining and media monitoring applications. While current systems report high accuracies for this task, they either work at mentionlevel (getting credit for detecting uninformative mentions such as pronouns), or assume the coreferent mentions have been detected beforehand; the inaccuracie...