Results 1 to 10 of about 353,133 (282)
A type system for Continuation Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting, but it has no variable binding and no pattern matching.
Herman Geuvers +3 more
doaj +7 more sources
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 +3 more sources
Induction of WNT16 via Peptide-mRNA Nanoparticle-Based Delivery Maintains Cartilage Homeostasis [PDF]
Pharmaceutics, 2020 Osteoarthritis (OA) is a progressive joint disease that causes significant disability and pain and for which there are limited treatment options. We posit that delivery of anabolic factors that protect and maintain cartilage homeostasis will halt or ...
Huimin Yan +6 more
doaj +3 more sources
Revue du Droit des Religions, 2023 Since the 1950s, the punishment of sexual crimes and offences committed by Catholic clerics has undergone changes. Until the 1990s, the canonical penalties are used in a limited proportion, justified in the name of the conversion of the sinner and the ...
Paul Airiau
doaj +1 more source
The Restructuring of Christian Personal Names in the Pre-National Period: Names Ending in *-ŏ (-ъ, -о) [PDF]
Вопросы ономастики, 2015 The article continues a series of publications analyzing the derivation within a regional system of Christian personal name forms in the pre-national period.
Irina M. Ganzhina
doaj +1 more source
The Canonical Tradition Valuing the Right to Reputation
Revista Española de Derecho Canónico, 2023 The right to a good name is a fundamental, natural human right that is mentioned specifically in canon 220 of the 1983 Code. In the present environment, however, this right has been frequently forgotten.
Michael Joseph Mazza
doaj +1 more source
PLoS ONE, 2020 Miscanthus sinensis is a grass used for sugarcane breeding and bioenergy production. Using high throughput sequencing technologies, we identified a new viral genome in infected M. sinensis leaf tissue displaying yellow fleck symptoms.
Stephen Bolus +7 more
doaj +2 more sources
Review of: The Rights of the Churches and the Unity of the Church. A Canonical and Historical Study on the Ukrainian Church Issue / transl. by Hegumen Dionysius (Shlenov). Moscow: “Poznanie”, 2022. 136 p. [PDF]
Вестник Екатеринбургской духовной семинарии, 2022 The review concerns Russian translation by hegumen Dionysius (Shlenov) of the theological and canonical treatise “The ‘Rights’ of the Churches and the Unity of the Church. A Canonical and Historical Study on the Ukrainian Church Issue. Part 1.
Monk Sophrony (Mikhail A.Vishnyak)
doaj +1 more source
Do Marked Topics Enhance Memory? [PDF]
, 2011 We examined the effects of markedness, the deviation from the canonical Subject-Verb-Object structure in English, on the memory of listeners for the topic of the sentence.
Eviatar, Zohar, Kuzar, Ron, Netz, Hadar
core +2 more sources
Esperanto for histones : CENP-A, not CenH3, is the centromeric histone H3 variant [PDF]
, 2013 The first centromeric protein identified in any species was CENP-A, a divergent member of the histone H3 family that was recognised by autoantibodies from patients with scleroderma-spectrum disease.
A. D. McAinsh +72 more
core +9 more sources