In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of resources due to the presence of weakening and contraction operators. Along this journey, we propose intersection type assignment systems for all thre...

We present a counterexample to the strong normalization—also called termination—of the underlying calculus of explicit substitution of λτ . This problem was open.

2 The “algebra” K[[x]] ⋊ M of formal power series under multiplication and substitution 3 2.1 Basics on formal power series . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 “Algebra” of formal power series under substitution . . . . . . . . . . . . 4 2.2.1 Right-distributive algebras . . . . . . . . . . . . . . . . . . . . . . 4 2.2.2 Substitution of formal power series . . . . . . . . . ....

2 The Riordan skew algebra K[[x]] ⋊ M of formal power series under multiplication and substitution 3 2.1 Basics on formal power series . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Skew algebra of formal power series under substitution . . . . . . . . . . 4 2.2.1 Right-distributive algebras . . . . . . . . . . . . . . . . . . . . . . 5 2.2.2 Substitution of formal power series . . . . ....

let $alpha$ be an automorphism of a ring $r$. the authors [on skewinverse laurent-serieswise armendariz rings, comm. algebra 40(1)(2012) 138-156] applied the concept of armendariz rings to inverseskew laurent series rings and introduced skew inverselaurent-serieswise armendariz rings. in this article, we study on aspecial type of these rings and introduce strongly armendariz ringsof inverse ske...

concrete is one of the most utilized construction materials in the world. nowadays, nano silicate usage due to its special property attracted considerable attention. on this basis, studying its environmental functions is an essential issue. accordingly, the behavior of normal concrete and the one with nano silicate were compared via taking advantage of life cycle assessment (lca) method in this...

In this study, we introduce and examine the Egalitarian property for some power indices on the class of simple games. This property means that after intersecting a game with a symmetric or anonymous game the difference between the values of two comparable players does not increase. We prove that the Shapley–Shubik index, the absolute Banzhaf index, and the Johnston score satisfy this property. ...

In this paper, a dynamic optimization approach for optimal choice of energy carriers in thermal power plants is proposed that analyzes the substitution of energy carriers in short-term planning of a power plant.The model is based on the linear programming method with the objective of minimizing costs under constraints of resource availability, energy balances, environmental regulations and elec...