pith. sign in

arxiv: 0905.0770 · v1 · submitted 2009-05-06 · 🧮 math.LO

S-storage operators

classification 🧮 math.LO
keywords operators-storagecallchurcheveryintegersnotionstorage
0
0 comments X
read the original 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 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.