On Storage Operators
نویسندگان
چکیده
In 1990 Krivine (1990b) introduced the notion of storage operators. They are λ-terms which simulate call-by-value in the call-by-name strategy. Krivine (1990b) has shown that there is a very simple type in the AF2 type system for storage operators using Gődel translation from classical to intuitionistic logic. Parigot (1993a) and Krivine (1994) have shown that storage operators play an important tool in classical logic. In this paper, we present a synthesis of various results on this subject.
منابع مشابه
Yard Crane Pools and Optimum Layouts for Storage Yards of Container Terminals
As more and more container terminals open up all over the world, competition for business is becoming very intense for container terminal operators. They are finding out that even to keep their existing Sea Line customers, they have to make them happy by offering higher quality service. The quality of service they can provide depends on their operating policies and the design of the terminal la...
متن کاملOperation Planning of Wind Farms with Pumped Storage Plants Based on Interval Type-2 Fuzzy Modeling of Uncertainties
The operation planning problem encounters several uncertainties in terms of the power system’s parameters such as load, operating reserve and wind power generation. The modeling of those uncertainties is an important issue in power system operation. The system operators can implement different approaches to manage these uncertainties such as stochastic and fuzzy methods. In this paper, new ...
متن کاملMixed logic and storage operators
In 1990 J-L. Krivine introduced the notion of storage operators. They are λ-terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modelize assignment instructions. J-L. Krivine has shown that there is a very simple second order type in AF2 type system for storage operators using Gődel translation of classical to intuitionistic logic. In order to modeli...
متن کاملECONOMICS OF ENERGY STORAGE An analysis of the administrative consequences of electricity storage
This report discusses the administrative aspects connected to the introduction of electricity storage in the energy system. First, the macro-economic aspects of utilizing storage facilities are discussed, and the possible benefits of storage in the electricity system are summarized. Next, the discussion focuses on the administrative aspects. In particular, the regulation system of the Dutch ele...
متن کاملCoordinated Control of Dispersed Battery Energy Storage Systems for Services to Network Operators
Distributed Battery Energy Storage Systems, controlled either per resource or in coordination, can provide many services to the network operators. The present study emphasizes the contributions of dedicated scheduling applications in order to enhance the reliability, performance and life expectation of the storage assets, based on the Nice Grid case, a Smart Grid pilot project.
متن کامل