<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-00382306</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-25T13:38:20+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On Storage Operators</title>
            <author role="aut">
              <persName>
                <forename type="first">Karim</forename>
                <surname>Nour</surname>
              </persName>
              <email type="md5">970897fe199b23761a027d4730426298</email>
              <email type="domain">univ-smb.fr</email>
              <idno type="idhal" notation="string">knour</idno>
              <idno type="idhal" notation="numeric">1424148</idno>
              <idno type="halauthorid" notation="string">390840-1424148</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1943-272X</idno>
              <affiliation ref="#struct-79"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Karim</forename>
                <surname>Nour</surname>
              </persName>
              <email type="md5">970897fe199b23761a027d4730426298</email>
              <email type="domain">univ-smb.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-05-07 16:32:13</date>
              <date type="whenModified">2026-04-07 09:52:24</date>
              <date type="whenReleased">2009-05-07 21:13:49</date>
              <date type="whenProduced">1995-10</date>
              <date type="whenEndEmbargoed">2009-05-07</date>
              <ref type="file" target="https://hal.science/hal-00382306v1/document">
                <date notBefore="2009-05-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00382306v1/file/KNOUR.pdf" id="file-382306-577546">
                <date notBefore="2009-05-07"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/0905.1099"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="135942">
                <persName>
                  <forename>Karim</forename>
                  <surname>Nour</surname>
                </persName>
                <email type="md5">970897fe199b23761a027d4730426298</email>
                <email type="domain">univ-smb.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00382306</idno>
            <idno type="halUri">https://hal.science/hal-00382306</idno>
            <idno type="halBibtex">nour:hal-00382306</idno>
            <idno type="halRefHtml">&lt;i&gt;25 Years of Constructive Type Theory&lt;/i&gt;, Oct 1995, Venice, Italy. pp.173-190</idno>
            <idno type="halRef">25 Years of Constructive Type Theory, Oct 1995, Venice, Italy. pp.173-190</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-382306-577546"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-SAVOIE">Université Savoie Mont Blanc</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LAMA" corresp="UNIV-SAVOIE">Laboratoire de mathématiques de l'Université de Savoie Mont Blanc</idno>
            <idno type="stamp" n="USMB-COMUE">Université Savoie Mont Blanc - UGA [* - 2019]</idno>
            <idno type="stamp" n="LAMA-EQUIPE-LIMD" corresp="LAMA">LIMD</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On Storage Operators</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Karim</forename>
                    <surname>Nour</surname>
                  </persName>
                  <email type="md5">970897fe199b23761a027d4730426298</email>
                  <email type="domain">univ-smb.fr</email>
                  <idno type="idhal" notation="string">knour</idno>
                  <idno type="idhal" notation="numeric">1424148</idno>
                  <idno type="halauthorid" notation="string">390840-1424148</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1943-272X</idno>
                  <affiliation ref="#struct-79"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">LIMD</idno>
                <meeting>
                  <title>25 Years of Constructive Type Theory</title>
                  <date type="start">1995-10</date>
                  <settlement>Venice</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">173-190</biblScope>
                  <date type="datePub">1998</date>
                </imprint>
              </monogr>
              <idno type="arxiv">0905.1099</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="math.math-lo">Mathematics [math]/Logic [math.LO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>In 1990 Krivine introduced the notion of storage operators. They are $\lambda$-terms which simulate call-by-value in the call-by-name strategy. Krivine has shown that there is a very simple type in the AF2 type system for storage operators using Gödel translation from classical to intuitionistic logic. Parigot and Krivine have shown that storage operators play an important tool in classical logic. In this paper, we present a synthesis of various results on this subject.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-79" status="VALID">
          <idno type="RNSR">200111810M</idno>
          <orgName>Laboratoire de Mathématiques</orgName>
          <orgName type="acronym">LAMA</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>Université Savoie Mont Blanc, Campus Scientifique, Bâtiment Le Chablais  73376 Le Bourget du Lac, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lama.univ-savoie.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-432896" type="direct"/>
            <relation name="UMR5127 / EP2067" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-432896" status="VALID">
          <idno type="ROR">https://ror.org/04gqg1a07</idno>
          <orgName>Université Savoie Mont Blanc</orgName>
          <orgName type="acronym">USMB [Université de Savoie] [Université de Chambéry]</orgName>
          <date type="start">1979-10-01</date>
          <desc>
            <address>
              <addrLine>27, rue Marcoz - 73000 Chambéry</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-smb.fr</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>