S-storage operators

Simple item page
dc.creatorNour, Karim
dc.date2009-05-06
dc.date.accessioned2026-07-07T13:12:13Z
dc.date.available2026-07-07T13:12:13Z
dc.descriptionIn 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.
dc.identifierhttps://arxiv.org/abs/0905.0770
dc.identifierhttp://arxiv.org/abs/0905.0770
dc.identifierMLQ / MLQ - Math Log Quart; MLQ Mathematical Logic Quarterly; Math Log Quart 44 (1998) 99-108
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/229518
dc.subjectLogic
dc.titleS-storage operators
dc.typetext

Files

Collections

arXiv