Switch to: Citations

Add references

You must login to add references.
  1. S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation