Switch to: References

Add citations

You must login to add citations.
  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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Storage Operators and ∀‐positive Types in TTR Type System.Karim Nour - 1996 - Mathematical Logic Quarterly 42 (1):349-368.
    In 1990, J. L. Krivine introduced the notion of storage operator to simulate “call by value” in the “call by name” strategy. J. L. Krivine has showed that, using Gödel translation of classical into intuitionistic logic, one can find a simple type for the storage operators in AF2 type system. This paper studies the ∀-positive types and the Gödel transformations of TTR type system. We generalize by using syntactical methods Krivine's theorem about these types and for these transformations. We give (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations