Mixed logic and storage operators

In 1990 J-L. Krivine introduced the notion of storage operators. They are l ambda -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 Godel translation of classical to intuitionist ic logic. In order to modelize the control operators, J-L. Krivine has exte nded the system AF2 to the classical logic. In his system the property of t he unicity of integers representation is lost, but he has shown that storag e operators typable in the system AF2 can be used to find the values of cla ssical integers. In this paper, we present a new classical type system base d on a logical system called mixed logic. We prove that in this system we c an characterize, by types, the storage operators and the control operators.