A General Type for Storage Operators


In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in λ-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… (More)
DOI: 10.1002/malq.19950410407


  • Presentations referencing similar topics