<?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-01979009</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-24T22:15:24+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Finite semantics of polymorphism, complexity and the power of type fixpoints</title>
            <author role="aut">
              <persName>
                <forename type="first">Lê Thành Dũng</forename>
                <surname>Nguyễn</surname>
              </persName>
              <email type="md5">b9678bd3fd221f80fc5f4f4528b330ae</email>
              <email type="domain">nguyentito.eu</email>
              <ptr type="url" target="https://nguyentito.eu/"/>
              <idno type="idhal" notation="string">nguyen-le-thanh-dung</idno>
              <idno type="idhal" notation="numeric">17293</idno>
              <idno type="halauthorid" notation="string">38733-17293</idno>
              <idno type="ARXIV">https://arxiv.org/a/nguyen_l_3</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6900-5577</idno>
              <idno type="IDREF">https://www.idref.fr/270544658</idno>
              <affiliation ref="#struct-994"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Thomas</forename>
                <surname>Seiller</surname>
              </persName>
              <email type="md5">178af3fac5c9f02ec042a0c5febae52b</email>
              <email type="domain">lipn.fr</email>
              <ptr type="url" target="http://www.ihes.fr/~seiller/"/>
              <idno type="idhal" notation="string">seiller</idno>
              <idno type="idhal" notation="numeric">2282</idno>
              <idno type="halauthorid" notation="string">20300-2282</idno>
              <idno type="ARXIV">https://arxiv.org/a/seiller_t_1</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6313-0898</idno>
              <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=n4iFtEgAAAAJ&amp;hl=fr</idno>
              <idno type="IDREF">https://www.idref.fr/169626423</idno>
              <affiliation ref="#struct-441569"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Paolo</forename>
                <surname>Pistone</surname>
              </persName>
              <email type="md5">30152e625d00aec510639b822707485e</email>
              <email type="domain">uni-tuebingen.de</email>
              <idno type="idhal" notation="numeric">1041529</idno>
              <idno type="halauthorid" notation="string">838779-1041529</idno>
              <affiliation ref="#struct-253943"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lorenzo</forename>
                <surname>Tortora de Falco</surname>
              </persName>
              <idno type="halauthorid">112014-0</idno>
              <affiliation ref="#struct-139586"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Lê Thành Dũng</forename>
                <surname>Nguyễn</surname>
              </persName>
              <email type="md5">b9678bd3fd221f80fc5f4f4528b330ae</email>
              <email type="domain">nguyentito.eu</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-01-12 12:05:52</date>
              <date type="whenModified">2024-11-28 10:50:14</date>
              <date type="whenReleased">2019-01-16 14:38:13</date>
              <date type="whenProduced">2019-01-12</date>
              <date type="whenEndEmbargoed">2019-01-12</date>
              <ref type="file" target="https://hal.science/hal-01979009v1/document">
                <date notBefore="2019-01-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01979009v1/file/lics.pdf" id="file-1979009-1999928">
                <date notBefore="2019-01-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="588898">
                <persName>
                  <forename>Lê Thành Dũng</forename>
                  <surname>Nguyễn</surname>
                </persName>
                <email type="md5">b9678bd3fd221f80fc5f4f4528b330ae</email>
                <email type="domain">nguyentito.eu</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01979009</idno>
            <idno type="halUri">https://hal.science/hal-01979009</idno>
            <idno type="halBibtex">nguyn:hal-01979009</idno>
            <idno type="halRefHtml">2019</idno>
            <idno type="halRef">2019</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1979009-1999928"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="LIPN" corresp="UNIV-PARIS13">Laboratoire d'Informatique de Paris-Nord</idno>
            <idno type="stamp" n="USPC">Université Sorbonne Paris Cité</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="CONFRENCE-NATIONALE-SUR-LES-APPLICATIONS-PRATIQUES-DE-LINTELLIGENCE-ARTIFICIELLE" corresp="CNRS">Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle </idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Finite semantics of polymorphism, complexity and the power of type fixpoints</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Lê Thành Dũng</forename>
                    <surname>Nguyễn</surname>
                  </persName>
                  <email type="md5">b9678bd3fd221f80fc5f4f4528b330ae</email>
                  <email type="domain">nguyentito.eu</email>
                  <ptr type="url" target="https://nguyentito.eu/"/>
                  <idno type="idhal" notation="string">nguyen-le-thanh-dung</idno>
                  <idno type="idhal" notation="numeric">17293</idno>
                  <idno type="halauthorid" notation="string">38733-17293</idno>
                  <idno type="ARXIV">https://arxiv.org/a/nguyen_l_3</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6900-5577</idno>
                  <idno type="IDREF">https://www.idref.fr/270544658</idno>
                  <affiliation ref="#struct-994"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Thomas</forename>
                    <surname>Seiller</surname>
                  </persName>
                  <email type="md5">178af3fac5c9f02ec042a0c5febae52b</email>
                  <email type="domain">lipn.fr</email>
                  <ptr type="url" target="http://www.ihes.fr/~seiller/"/>
                  <idno type="idhal" notation="string">seiller</idno>
                  <idno type="idhal" notation="numeric">2282</idno>
                  <idno type="halauthorid" notation="string">20300-2282</idno>
                  <idno type="ARXIV">https://arxiv.org/a/seiller_t_1</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6313-0898</idno>
                  <idno type="GOOGLE SCHOLAR">https://scholar.google.fr/citations?user=n4iFtEgAAAAJ&amp;hl=fr</idno>
                  <idno type="IDREF">https://www.idref.fr/169626423</idno>
                  <affiliation ref="#struct-441569"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Paolo</forename>
                    <surname>Pistone</surname>
                  </persName>
                  <email type="md5">30152e625d00aec510639b822707485e</email>
                  <email type="domain">uni-tuebingen.de</email>
                  <idno type="idhal" notation="numeric">1041529</idno>
                  <idno type="halauthorid" notation="string">838779-1041529</idno>
                  <affiliation ref="#struct-253943"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lorenzo</forename>
                    <surname>Tortora de Falco</surname>
                  </persName>
                  <idno type="halauthorid">112014-0</idno>
                  <affiliation ref="#struct-139586"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-pl">Computer Science [cs]/Programming Languages [cs.PL]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Many applications of denotational semantics, such as higher-order model checking or the complexity of normaliza-tion, rely on finite semantics for monomorphic type systems. We present two constructions of finite semantics for second-order Multiplicative-Additive Linear Logic (MALL2) and study their properties. We apply this to understand the gap in expressive power between MALL2 and its extension with type fixpoints, and to obtain an implicit characterization of regular languages in Elementary Linear Logic. Furthermore, some semantic results established here lay the groundwork for a sequel paper proposing a new approach to sub-polynomial implicit complexity.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-994" status="OLD">
          <orgName>Laboratoire d'Informatique de Paris-Nord</orgName>
          <orgName type="acronym">LIPN</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-lipn.univ-paris13.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
            <relation name="UMR7030" active="#struct-441569" type="direct"/>
          </listRelation>
        </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>
        <org type="laboratory" xml:id="struct-253943" status="VALID">
          <orgName>Wilhelm-Schickard-Institut für Informatik [Tübingen]</orgName>
          <desc>
            <address>
              <addrLine>Eberhard Karls Universität Tübingen Geschwister-Scholl-Platz 72074 Tübingen</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.wsi.uni-tuebingen.de/fachbereich/wilhelm-schickard-institut-fuer-informatik.html</ref>
          </desc>
          <listRelation>
            <relation active="#struct-209475" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-139586" status="VALID">
          <orgName>Dipartimento di Matematica [Roma TRE]</orgName>
          <desc>
            <address>
              <addrLine>Largo San Leonardo Murialdo 1, I-00146, Roma, Italy</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.mat.uniroma3.it/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302801" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-209475" status="VALID">
          <orgName>Eberhard Karls Universität Tübingen =  University of Tübingen</orgName>
          <desc>
            <address>
              <addrLine>Geschwister-Scholl-Platz 72074 Tübingen</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-tuebingen.de/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-302801" status="VALID">
          <idno type="ISNI">0000 0001 2162 2106</idno>
          <idno type="ROR">https://ror.org/05vf0dg29</idno>
          <orgName>Università degli Studi Roma Tre = Roma Tre University</orgName>
          <orgName type="acronym">ROMA TRE</orgName>
          <date type="start">1992-01-01</date>
          <desc>
            <address>
              <addrLine>Via Ostiense, 133 - 00154 Rome</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">https://www.uniroma3.it/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>