Switch to: References

Citations of:

S-Storage Operators

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

Add citations

You must login to add citations.
  1. A General Type for Storage Operators.Karim Nour - 1995 - Mathematical Logic Quarterly 41 (4):505-514.
    In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $lambda$-calculus, the 'call by value' in a context of a 'call by name'. J.L. Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations