A General Type for Storage Operators
| dc.creator | Nour, Karim | |
| dc.date | 2009-05-05 | |
| dc.date.accessioned | 2026-07-07T13:11:50Z | |
| dc.date.available | 2026-07-07T13:11:50Z | |
| dc.description | 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 storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this result to other types. | |
| dc.identifier | https://arxiv.org/abs/0905.0549 | |
| dc.identifier | http://arxiv.org/abs/0905.0549 | |
| dc.identifier | Mathematical Logic Quarterly 41 (1995) 505-514 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229410 | |
| dc.subject | Logic | |
| dc.title | A General Type for Storage Operators | |
| dc.type | text |