{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T15:41:31Z","timestamp":1698334891053},"reference-count":8,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":4334,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1995,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In 1990, J. L. Krivine introduced the notion of storage operator to simulate, in \u03bb\u2010calculus, the \u201ccall by value\u201d in a context of a \u201ccall by name\u201d. J. L. Krivine has showed that, using G\u00f6del translation from classical to intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In the present paper we give a general type for storage operators in a slight extension of AF2. At the end we give (without proof) a generalization of this result to other types.<\/jats:p>","DOI":"10.1002\/malq.19950410407","type":"journal-article","created":{"date-parts":[[2007,6,2]],"date-time":"2007-06-02T21:18:07Z","timestamp":1180819087000},"page":"505-514","source":"Crossref","is-referenced-by-count":2,"title":["A General Type for Storage Operators"],"prefix":"10.1002","volume":"41","author":[{"given":"Karim","family":"Nour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","unstructured":"Danos V. andL.Regnier Notes sur les op\u00e9rateurs de mise en m\u00e9moire. Manuscript 1992."},{"key":"e_1_2_1_3_2","volume-title":"Lambda\u2010calcul, types et mod\u00e8les","author":"Krivine J. L.","year":"1990"},{"key":"e_1_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01792986"},{"key":"e_1_2_1_5_2","unstructured":"Krivine J. L. Mise en m\u00e9moire (preuve g\u00e9n\u00e9rale). Manuscript 1993."},{"key":"e_1_2_1_6_2","unstructured":"Nour K. Op\u00e9rateurs de mise en m\u00e9moire en lambda\u2010calcul pur et typ\u00e9. Th\u00e8se de Doctorat Universit\u00e9 de Chamb\u00e9ry 1993."},{"key":"e_1_2_1_7_2","first-page":"201","article-title":"Une preuve syntaxique d'un th\u00e9or\u00e8me de J.L","volume":"318","author":"Nour K.","year":"1994","journal-title":"Krivine sur les op\u00e9rateurs de mise en m\u00e9moire. C. R. Acad. Sci. Paris, S\u00e9r. I"},{"key":"e_1_2_1_8_2","unstructured":"Nour K. Op\u00e9rateurs de mise en m\u00e9moire et types \u2200\u2010positifs. Manuscript 1993."},{"key":"e_1_2_1_9_2","article-title":"Storage operators and directed \u039b\u2010calculus","author":"Nour N.","journal-title":"J. Symbolic Logic"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19950410407","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19950410407","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T16:27:43Z","timestamp":1698251263000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19950410407"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1002\/malq.19950410407"],"URL":"https:\/\/doi.org\/10.1002\/malq.19950410407","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}