نتایج جستجو برای: substitution property
تعداد نتایج: 213937 فیلتر نتایج به سال:
Contrary to all expectations, the-calculus, the canonical simply-typed lambda-calculus with explicit substitutions, is not strongly normalising. This result has led to a proliferation of calculi with explicit substitutions. This paper shows that the reducibility method provides a general criterion when a calculus of explicit substitution is strongly normalising for all untyped lambda-terms that...
Extending the-calculus with either explicit substitution or generalised reduction has been the subject of extensive research recently which still has many open problems. Due to this reason, the properties of a calculus combining both generalised reduction and explicit substitutions have never been studied. This paper presents such a calculus sg and shows that it is a desirable extension of the-...
Extending the-calculus with either explicit substitution or generalised reduction has been the subject of extensive research recently and still has many open problems. This paper is the rst investigation into the properties of a calculus combining both generalised reduction and explicit substitutions. We present a calculus, gs, that combines a calculus of explicit substitution, s, and a calculu...
We present the ! and !e calculi, the two-sorted (term and substitution) versions of the s (cf. KR95a]) and se (cf. KR96a]) cal-culi, respectively. We establish an isomorphism between the s-calculus and the term restriction of the !-calculus, which extends to an isomor-phism between se and the term restriction of !e. Since the ! and !e calculi are given in the style of the-calculus (cf. ACCL91])...
From a general perspective, a substitution is a transformation from one space to another, an equation is a pair of such substitutions, and a solution to an equation is a substitution that yields the same value when composed with (i.e., when substituted into) the substitutions that constitute the given equation. In some special cases, solutions are called uniiers. Other examples include Scott do...
Molecular evolutionary rate variation in Gossypium (cotton) was characterized using sequence data for 48 nuclear genes from both genomes of allotetraploid cotton, models of its diploid progenitors, and an outgroup. Substitution rates varied widely among the 48 genes, with silent and replacement substitution levels varying from 0.018 to 0.162 and from 0.000 to 0.073, respectively, in comparisons...
Extending the λ-calculus with either explicit substitution or generalized reduction has been the subject of extensive research recently, and still has many open problems. This paper is the first investigation into the properties of a calculus combining both generalized reduction and explicit substitutions. We present a calculus, λgs, that combines a calculus of explicit substitution, λs, and a ...
Brand substitution is common observed phenomenon in daily life. It the decision makers’ economic understanding and potential scheme for business-industries. Also, it provides flexibility management increases ability to control production. This works proposes an integrated supplier–retailer inventory model substitutable products. Two suppliers work not with two different brand products their cor...
We prove that a primitive substitution Delone set, which is pure point diffractive, is a Meyer set. This answers a question of J. C. Lagarias. We also show that for primitive substitution Delone sets, being a Meyer set is equivalent to having a relatively dense set of Bragg peaks. The proof is based on tiling dynamical systems and the connection between the diffraction and dynamical spectra.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید