# S-storage operators - Mathematics > Logic

Abstract: In 1990, J.L. Krivine introduced the notion of storage operator to simulate,for Church integers, the -call by value- in a context of a -call by name-strategy. In this present paper, we define, for every $\lambda$-term S whichrealizes the successor function on Church integers, the notion of S-storageoperator. We prove that every storage operator is a \$S-storage operator. Butthe converse is not always true.

Author: Karim Nour LAMA

Source: https://arxiv.org/