In their criticisms of traditional theories politeness, Watts et al. (2005 [1992]) and Eelen (2001) call for first-order approaches to (im)politeness. While ‘discursive approach’ has faced its own criticisms, one useful strand which emerged from this research is a focus on how (im)politeness evaluated discussed. However, compared other (im)politeness, such language received little attention. St...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

Nowadays one of the most common formats for storing information is XML. The size of XML documents can be rather large, and they may contain redundant attributes which can be calculated from others. The main idea behind our paper is based on a relationship between XML documents and attribute grammars. Using this relationship it is possible to define semantic rules for XML attributes using a meta...

The paper presents a modelling and implementation methodology compatible with the Internet of Things and Linked Data paradigm. Linked data are naturally depicted by a directed graph whose nodes represent Things and edges or arrows relations. The conceptual models of intensional interpretations of first order formal languages are directed graphs. It is therefore natural to base the description l...

We propose >>-lifting as a technique for extending operational predicates to Moggi’s monadic computation types, independent of the choice of monad. We demonstrate the method with an application to Girard-Tait reducibility, using this to prove strong normalisation for the computational metalanguage λml . The particular challenge with reducibility is to apply this semantic notion at computation t...

if your preferred environment requires only a few features from another paradigm, you must typically adopt the whole alien platform to take advantage of them. The alternative of using other languages and tools to implement the features in a way that avoids adding the whole platform is generally at least as difficult. But a more affordable solution is often possible. We used metaprogramming to i...

How are lexical senses described? One can identify two main families of sense descriptions on the basis of their relation to word meaning: word paraphrases vs. word interpretations. The first family can itself be subdivided into three main subfamilies, according to the formal nature of sense descriptions. 1. Word paraphrases 1.1. " Standard " lexicographic definitions are, roughly speaking, lin...

It is often said that many functional linguists lack a ‘theory’. Within formal linguistics, it is common to talk of different ‘theories’, such as Government-Binding Theory or Head-Driven Phrase Structure Grammar. When formal linguists look at the work of functional linguists like Givón (1984, 1990, 1995), they do not see a ‘theory’ in the sense of formal theories like Government-Binding Theory,...

Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge generation metalanguage, KGL, is used to creating scripts defining such knowledge scouts. Knowledge scouts operate in an inductive database, by which we mean a database system in which conventional data and knowledge man...