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...

Starting form the analogy between a document tagged by a markup language (XML, SGML) and a source string generated by a BNF grammar, we argue that XML parsers should beneet from the addition of semantic attributes and functions. Currently XML only includes initialized lexical attributes. By our approach a XML parser would be extended into a syntax-directed translator. Deep transformations of a ...

This article addresses the question of the relevant conceptualization of «altruism» in Russian from the perspective sociological research operationalization. It investigates the spheres of social application of the word «altruism», include Russian equivalent «vzaimopomoshh`» (mutual help). The data for the study comes from Russian National Corpus (Russian). The theoretical framework consists of...

This study proposes Natural Semantic Metalanguage semantic explications for the English words virus (in two senses), bacteria, germs, and related sick, ill, disease. We concentrate on their nave or folk meanings (Apresjan 1992) in everyday English, as opposed to scientific semi-scientific meanings. In this way, paper makes a start uncovering epidemiology embedded lexicon. The semantics of like ...

This study is an attempt to carry out a comparative analysis using Natural Semantic Metalanguage (henceforth NSM). The offering routine patterns of native Persian speakers was compared with that of Native American English speakers to see if it can provide evidence for applicability of NSM model which is claimed to be universal. The descriptive technique was the cultural scripts approach, using ...

We apply the Natural Semantic Metalanguage (NSM) approach (Goddard & Wierzbicka 2014) to the lexical-semantic analysis of English evaluational adjectives and compare the results with the picture developed in the Appraisal Framework (Martin & White 2005). The analysis is corpus-assisted, with examples mainly drawn from film and book reviews, and supported by collocational and statistical informa...

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...

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...