<?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-00818069</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-23T11:11:41+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">The IO and OI hierarchies revisited</title>
            <author role="aut">
              <persName>
                <forename type="first">Gregory</forename>
                <forename type="middle">M.</forename>
                <surname>Kobele</surname>
              </persName>
              <email type="md5">0c024e4158134aa7c850e61d566eee83</email>
              <email type="domain">uchicago.edu</email>
              <idno type="idhal" notation="numeric">940720</idno>
              <idno type="halauthorid" notation="string">707464-940720</idno>
              <orgName ref="#struct-129172"/>
              <affiliation ref="#struct-136769"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sylvain</forename>
                <surname>Salvati</surname>
              </persName>
              <email type="md5">328734269eecd6b0ebd060898fa96689</email>
              <email type="domain">univ-lille.fr</email>
              <idno type="idhal" notation="string">sylvain-salvati</idno>
              <idno type="idhal" notation="numeric">2196</idno>
              <idno type="halauthorid" notation="string">12159-2196</idno>
              <idno type="IDREF">https://www.idref.fr/090492420</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6230-0098</idno>
              <orgName ref="#struct-300009"/>
              <affiliation ref="#struct-104751"/>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sylvain</forename>
                <surname>Salvati</surname>
              </persName>
              <email type="md5">328734269eecd6b0ebd060898fa96689</email>
              <email type="domain">univ-lille.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2013-04-25 23:48:47</date>
              <date type="whenModified">2025-05-26 14:36:02</date>
              <date type="whenReleased">2013-04-26 10:59:24</date>
              <date type="whenProduced">2013-07-08</date>
              <date type="whenEndEmbargoed">2013-04-25</date>
              <ref type="file" target="https://inria.hal.science/hal-00818069v1/document">
                <date notBefore="2013-04-25"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-00818069v1/file/io_and_oi_revisited.pdf" id="file-818069-211707">
                <date notBefore="2013-04-25"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="130420">
                <persName>
                  <forename>Sylvain</forename>
                  <surname>Salvati</surname>
                </persName>
                <email type="md5">328734269eecd6b0ebd060898fa96689</email>
                <email type="domain">univ-lille.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00818069</idno>
            <idno type="halUri">https://inria.hal.science/hal-00818069</idno>
            <idno type="halBibtex">kobele:hal-00818069</idno>
            <idno type="halRefHtml">&lt;i&gt;ICALP (2)&lt;/i&gt;, Jul 2013, Riga, Latvia</idno>
            <idno type="halRef">ICALP (2), Jul 2013, Riga, Latvia</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-818069-211707"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="ENSEIRB">Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux</idno>
            <idno type="stamp" n="INRIA-BORDEAUX">INRIA Bordeaux - Sud-Ouest</idno>
            <idno type="stamp" n="UNIV-BORDEAUX">Université de Bordeaux</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="INRIA-300009">Inria 300009</idno>
            <idno type="stamp" n="INRIA-ETATSUNIS">Copublications Inria-Etats-Unis</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</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">The IO and OI hierarchies revisited</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Gregory</forename>
                    <forename type="middle">M.</forename>
                    <surname>Kobele</surname>
                  </persName>
                  <email type="md5">0c024e4158134aa7c850e61d566eee83</email>
                  <email type="domain">uchicago.edu</email>
                  <idno type="idhal" notation="numeric">940720</idno>
                  <idno type="halauthorid" notation="string">707464-940720</idno>
                  <orgName ref="#struct-129172"/>
                  <affiliation ref="#struct-136769"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sylvain</forename>
                    <surname>Salvati</surname>
                  </persName>
                  <email type="md5">328734269eecd6b0ebd060898fa96689</email>
                  <email type="domain">univ-lille.fr</email>
                  <idno type="idhal" notation="string">sylvain-salvati</idno>
                  <idno type="idhal" notation="numeric">2196</idno>
                  <idno type="halauthorid" notation="string">12159-2196</idno>
                  <idno type="IDREF">https://www.idref.fr/090492420</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6230-0098</idno>
                  <orgName ref="#struct-300009"/>
                  <affiliation ref="#struct-104751"/>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>ICALP (2)</title>
                  <date type="start">2013-07-08</date>
                  <date type="end">2013-07-12</date>
                  <settlement>Riga</settlement>
                  <country key="LV">Latvia</country>
                </meeting>
                <imprint>
                  <date type="datePub">2013-04-26</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="acm" n="F.4.3">F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.3: Formal Languages</classCode>
              <classCode scheme="acm" n="F.4.1.2">F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic/F.4.1.2: Lambda calculus and related systems</classCode>
              <classCode scheme="acm" n="F.4.2">F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.2: Grammars and Other Rewriting Systems</classCode>
              <classCode scheme="acm" n="F.3.2.1">F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages/F.3.2.1: Denotational semantics</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</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>We study languages of lambda-terms generated by IO and OI unsafe grammars. These languages can be used to model meaning representations in the formal semantics of natural languages following the tradition of Montague. Using techniques pertaining to the denotational semantics of the simply typed lambda-calculus, we show that the emptiness and membership problems for both types of grammars are decidable. In the course of the proof of the decidability results for OI, we identify a decidable variant of the lambda-definability problem, and prove a stronger form of Statman's finite completeness Theorem.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-136769" status="VALID">
          <orgName>Computation Institute [Chicago]</orgName>
          <desc>
            <address>
              <addrLine>5735 South Ellis Avenue Room 203A Chicago, IL 60637</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.ci.uchicago.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129172" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-104751" status="VALID">
          <idno type="RNSR">200818243Z</idno>
          <idno type="ROR">https://ror.org/03tjcj052</idno>
          <orgName>Centre Inria de l'Université de Bordeaux</orgName>
          <desc>
            <address>
              <addrLine>200, avenue de la Vieille Tour, 33405 Talence</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/bordeaux/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-3102" status="VALID">
          <idno type="IdRef">155054465</idno>
          <idno type="ISNI">0000000122898198</idno>
          <idno type="RNSR">199511665F</idno>
          <idno type="ROR">https://ror.org/03adqg323</idno>
          <idno type="Wikidata">Q3214395</idno>
          <orgName>Laboratoire Bordelais de Recherche en Informatique</orgName>
          <orgName type="acronym">LaBRI</orgName>
          <date type="start">1988-01-01</date>
          <desc>
            <address>
              <addrLine>Domaine Universitaire 351, cours de la Libération 33405 Talence Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.labri.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-259761" type="direct"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800 / URA1304" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-129172" status="VALID">
          <idno type="ROR">https://ror.org/024mw5h28</idno>
          <orgName>University of Chicago</orgName>
          <desc>
            <address>
              <addrLine>Edward H. Levi Hall 5801 South Ellis Avenue Chicago, Illinois 60637</addrLine>
              <country key="US"/>
            </address>
            <ref type="url">http://www.uchicago.edu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-259761" status="VALID">
          <idno type="IdRef">175206562</idno>
          <idno type="ROR">https://ror.org/057qpr032</idno>
          <orgName>Université de Bordeaux</orgName>
          <orgName type="acronym">UB</orgName>
          <desc>
            <address>
              <addrLine>35, place Pey Berland - 33076 Bordeaux</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300366" status="VALID">
          <orgName>École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </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>