S-存储算子
S-storage operators
摘要：
1990年，J.L. Krivine引入了存储操作符的概念，以模拟Church整数在“按名称调用”策略的上下文中的“按值调用”。本文对实现Church整数上后继函数的每一个$λ$ -项S，定义了S-存储算子的概念.我们证明了每个存储算子都是$S-存储算子。但反过来并不总是正确的。
英文摘要：
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 $λ$-term S which realizes the successor function on Church integers, the notion of S-storage operator. We prove that every storage operator is a $S-storage operator. But the converse is not always true.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
