- Opin vísindi
- →
- Browsing by Subject
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Subject "Merkingarfræði"
Now showing items 1-12 of 12
-
(University of British Columbia, 2011)This dissertation presents a semantic analysis of the progressive of both English and Icelandic, the only two Germanic languages that generally are considered to have fully grammaticalized progressive constructions. The progressive is an aspectual ... -
(Ubiquity Press, Ltd., 2016-10-04)This squib studies the order in which elements are added to the shared context of interlocutors in a conversation. It focuses on context updates within one hierarchical structure and argues that structurally higher elements are entered into the context ...
-
(Háskólinn í Reykjavík, 2012-12-09)Structural Operational Semantics (SOS) is one of the most natural ways for providing programming languages with a formal semantics. Results on the meta-theory of SOS typically (but not solely) say that if the inference rules used in writing the semantic ...
-
(ACM, 2020-09-08)We discuss the relationship between monads and their known generalisation, graded monads, which are especially useful for modelling computational effects equipped with a form of sequential composition. Specifically, we ask if a graded monad can be ...
-
(The Árni Magnússon Institute for Icelandic Studies, 2019-08-15)Íslensk nútímamálsorðabók er ný orðabók sem ætluð er til birtingar á vefnum. Orðabókin byggist að verulegu leyti á margmála veforðabókinni ISLEX (www.islex.is) og er m.a. flettiorðalistinn fenginn þaðan, svo og skipting í merkingarliði, framburður orða, ...
-
(2023-10-16)A central question concerning language is “Where does meaning come from?”. This thesis addresses the question by considering the concept of colour and the vocabulary in Icelandic which falls within this semantic space. The research involves biological, ...
-
(Springer Science and Business Media LLC, 2020-12-23)In this paper I review the locality domains of contextual allomorphy, contextual allosemy and morphophonology with a special emphasis on compounds. I show that when the applications of these processes within compounds are compared, we observe a distinction ...
-
(2019-10-14)The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...
-
(The Árni Magnússon Institute for Icelandic Studies, 2019-08-15)Brent Berlin og Paul Kay ullu straumhvörfum í merkingarlegum rannsóknum á litaheitum með útgáfu bókar sinnar Basic Color Terms árið 1969. Fram að þeim tíma hafði verið talið að hvert mál hefði sína eigin hugtakaskiptingu, og í sambandi við litaheiti ...
-
(2022-10-17)Concurrency as a phenomenon is observed in most of the current computer science trends. However the inherent complexity of analyzing the behavior of such a system is incremented due to the many different models of concurrency, the variety of applications ...
-
(Springer, 2022-10-03)We propose a new type system for WebAssembly. It is a refinement of the type system from the language specification and is based on type qualifiers and subtyping. In the WebAssembly specification, a typable instruction sequence gets many different ...
-
(Hið íslenska þjóðvinafélag, 2020)
Now showing items 1-12 of 12