S-storage operators - Mathematics > LogicReport as inadecuate

S-storage operators - Mathematics > Logic - Download this document for free, or read online. Document in PDF available to download.

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/

Related documents