نتایج جستجو برای: substitution property

تعداد نتایج: 213937  

1999
Eike Ritter

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...

1996
Fairouz Kamareddine

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-...

1997
Fairouz Kamareddine

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...

1997
Fairouz Kamareddine

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])...

1989
Joseph A. Goguen

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...

Journal: :Molecular biology and evolution 2003
David S Senchina Ines Alvarez Richard C Cronn Bao Liu Junkang Rong Richard D Noyes Andrew H Paterson Rod A Wing Thea A Wilkins Jonathan F Wendel

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...

Journal: :Journal of Functional and Logic Programming 1998
Fairouz Kamareddine Alejandro Ríos Joe B. Wells

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 ...

Journal: :Rairo-operations Research 2021

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...

2005
BORIS SOLOMYAK

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.

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید