Results 61 to 70 of about 188,818 (285)
The lambda-calculus with multiplicities
, 1993 We introduce a refinement of the l-calculus, where the argument of a function is a bag of resources, that is a multiset of terms, whose multiplicities indicate how many copies of them are available. We show that this l-calculus with multiplicities has a natural functionality theory, similar to Coppo and Dezani's intersection type discipline.
openaire +3 more sources
Differential Operators and Differential Calculus on $delta-$Hom-Jordan-Lie Superalgebras
پژوهشهای ریاضی, 2020 Introduction Hom-algebraic structures appeared first as a generalization of Lie algebras in [1,3], where the authors studied q-deformations of Witt and Virasoro algebras. A general study and construction of Hom-Lie algebras
Valiollah Khalili
doaj
From Linear Logic to Cyclic Sharing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We present a translation from Multiplicative Exponential Linear Logic to a simply-typed lambda calculus with cyclic sharing. This translation is derived from a simple observation on the Int-construction on traced monoidal categories.
Masahito Hasegawa
doaj +1 more source
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
Peripheral Neutrophil Activation and Extracellular Trap Formation in Amyotrophic Lateral Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.Markers of neutrophil activation are increased in plasma during ALS, and markers of NET formation associate with ALS survival. ABSTRACT Objectives Peripheral neutrophil levels in amyotrophic lateral sclerosis (ALS) inversely correlate with survival, suggesting a role for neutrophils in disease progression.
Lillia A. Baird +9 more
wiley +1 more source
The GHZ/W-calculus contains rational arithmetic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation.
Bob Coecke +3 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction/Objective Acute intracranial stenting during endovascular thrombectomy (EVT) for ischemic stroke requires intraprocedural antiplatelet therapy (APT) to maintain patency. However, the hemorrhagic risk of combining APT with intravenous thrombolysis (IVT) remains uncertain.
Aaron Rodriguez‐Calienes +75 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to investigate hand function trajectories over five years in primary hand osteoarthritis (OA). Additionally, determinants of baseline and longitudinal hand function were assessed. Methods A total of 538 patients with both baseline and five‐year study visits were analyzed.
Annemiek V. E. M. Olde Meule +4 more
wiley +1 more source
A new look at the classical sequence spaces by using multiplicative calculus
, 2016 The important point to be noted on the non-Newtonian calculus is a self- contained system independent of any other system of calculus. Therefore, the reader may be surprised to learn that there is a uniform relationship between the corresponding ...
Kadak U. +3 more
core +4 more sources
Associations of Rheumatoid Arthritis Disease Activity With Frailty Over Five Years of Follow‐up
Arthritis Care &Research, EarlyView.Objective To evaluate whether rheumatoid arthritis (RA) disease activity is associated with frailty both in cross‐section and longitudinally. Methods Participants within the Veterans Affairs Rheumatoid Arthritis (VARA) registry enrolled from 2003 to 2022 were included.
Courtney N. Loecker +14 more
wiley +1 more source