Results 11 to 20 of about 69,591 (254)
A dependent nominal type theory [PDF]
Logical Methods in Computer Science, 2012 Nominal abstract syntax is an approach to representing names and binding pioneered by Gabbay and Pitts. So far nominal techniques have mostly been studied using classical logic or model theory, not type theory. Nominal extensions to simple, dependent and
James Cheney
doaj +1 more source
Evaluative prenominal possessives in Spanish
Borealis: An International Journal of Hispanic Linguistics, 2018 In this paper, the properties of Spanish evaluative prenominal possessives (i.e. the affective possessive preceding a proper name, the so-called “emphatic possessive”, and the possessive in the Old and American Spanish doubled possessive construction ...
Luis Eguren
doaj +1 more source
Notes on the Regional Features of Personal Naming among the Old Believers of Latgale [PDF]
Вопросы ономастики, 2019 The paper deals with the two opposed traditions of Slavic naming, explaining the patterns that are currently observed in the Russian and Serbian languages.
Anna A. Plotnikova
doaj +1 more source
Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus [PDF]
Logical Methods in Computer Science, 2014 We examine the relationship between the algebraic lambda-calculus, a fragment of the differential lambda-calculus and the linear-algebraic lambda-calculus, a candidate lambda-calculus for quantum computation.
Ali Assaf +4 more
doaj +1 more source
The Restructuring of Christian Personal Names in the Pre-National Period: Names ending in -a, -ija (-‘ja) [PDF]
Вопросы ономастики, 2013 The article opens a series of publications analyzing the derivation within a regional system of Christian personal name forms in the Pre-National period. With reference to the anthroponyms recorded in 16-17th centuries Tver business documents, the author
Irina M. Ganzhina
doaj
Portrait of an Ottoman Armenian Artist of Constantinople
Études Arméniennes Contemporaines, 2014 This essay contends with two interconnected issues: firstly, considers the problematic manner in which biography has been used as method in art historiography; and, secondly, offers a reflection arising from the unsatisfactory treatment of the Ottoman ...
Vazken Khatchig Davidian
doaj +1 more source
Restructuring Russian Christian Personal Names in the Pre-National Period: Names in -y
Вопросы ономастикиThis article is the concluding part of a series of articles investigating the derivation of the geographically limited system of Christian personal name forms during the pre-national period.
Irina Mikhailovna Ganzhina
doaj +1 more source
Michael Madhusudan Dutt’s The Captive Ladie: Text Context and Perspectives [PDF]
LitinfiniteMichael Madhusudan Dutta (1824-1873) is a revered name in Bengali Literature. To gauge his merit is an arduous task. It is he who changed the literary sky of Bengali literature with grace and elan.
Dr. Sutanuka Ghosh Roy
doaj +1 more source
Minds and Machines, 2005 This paper outlines a framework for the abstract investigation of the concept of canonicity of names and of naming systems. Degrees of canonicity of names and of naming systems are distinguished. The structure of the degrees is investigated, and a notion of relative canonicity is defined.
openaire +3 more sources
Frontiers in Physiology, 2023 Stretch-induced vascular tone is an important element of autoregulatory adaptation of cerebral vasculature to maintain cerebral flow constant despite changes in perfusion pressure.
Lubomir T. Lubomirov +17 more
doaj +1 more source