S-Storage Operators

Mathematical Logic Quarterly 44 (1):99-108 (1998)
  Copy   BIBTEX

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 the 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 an S-storage operator. But the converse is not always true

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.
Storage operators and directed lambda-calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Opérateurs de mise en mémoire et traduction de Gödel.Jean-Louis Krivine - 1990 - Archive for Mathematical Logic 30 (4):241-267.
Strong storage operators and data types.Karim Nour - 1995 - Archive for Mathematical Logic 34 (1):65-78.
Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
Mixed logic and storage operators.Karim Nour - 2000 - Archive for Mathematical Logic 39 (4):261-280.
Storage operators and forall-positive types of system TTR.Karim Nour - 1996 - Mathematical Logic Quarterly 42:349-368.
La valeur d'un entier classique en $\lambda\mu$ -calcul.Karim Nour - 1997 - Archive for Mathematical Logic 36 (6):461-473.
Short-term memory: Storage interference or storage decay?C. Michael Levy & Dennis Jowaisas - 1971 - Journal of Experimental Psychology 88 (2):189.
A semantical storage operator theorem for all types.Christophe Raffalli - 1998 - Annals of Pure and Applied Logic 91 (1):17-31.
What is so special with the powerset operation?Athanassios Tzouvaras - 2004 - Archive for Mathematical Logic 43 (6):723-737.
Semantic processing without permanent storage.George Mandler & Patricia E. Worden - 1973 - Journal of Experimental Psychology 100 (2):277.

Analytics

Added to PP
2014-01-16

Downloads
16 (#932,051)

6 months
9 (#354,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.

Add more citations

References found in this work

The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
The Lambda Calculus. Its Syntax and Semantics.E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Opérateurs de mise en mémoire et traduction de Gödel.Jean-Louis Krivine - 1990 - Archive for Mathematical Logic 30 (4):241-267.
Mixed logic and storage operators.Karim Nour - 2000 - Archive for Mathematical Logic 39 (4):261-280.
Strong storage operators and data types.Karim Nour - 1995 - Archive for Mathematical Logic 34 (1):65-78.

View all 7 references / Add more references