S-storage operators
Logic
2009-05-07 v1
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 -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.
Cite
@article{arxiv.0905.0770,
title = {S-storage operators},
author = {Karim Nour},
journal= {arXiv preprint arXiv:0905.0770},
year = {2009}
}