论仓储经营者
On Storage Operators
摘要：
1990年，Krivine提出了存储算子的概念。它们是$λ$-模拟按名称调用策略中的按值调用的术语。Krivine已经证明了在AF 2类型系统中有一个非常简单的类型，用于存储操作符，使用从经典到直觉主义逻辑的哥德尔翻译。Parigot和Krivine已经证明了存储算子在经典逻辑中起着重要的作用。在本文中，我们提出了一个综合的各种结果在这个问题上。
英文摘要：
In 1990 Krivine introduced the notion of storage operators. They are $λ$-terms which simulate call-by-value in the call-by-name strategy. Krivine 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 and Krivine 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
