<?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-00570017v2</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:33:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="de">Krivine machines and higher-order schemes</title>
            <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>
              <affiliation ref="#struct-56005"/>
              <affiliation ref="#struct-3102"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Igor</forename>
                <surname>Walukiewicz</surname>
              </persName>
              <email type="md5">bb97e2b46456b2afedcdbcebe340a274</email>
              <email type="domain">labri.fr</email>
              <idno type="idhal" notation="string">igor-walukiewicz</idno>
              <idno type="idhal" notation="numeric">2200</idno>
              <idno type="halauthorid" notation="string">710-2200</idno>
              <idno type="IDREF">https://www.idref.fr/078177146</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8952-7201</idno>
              <affiliation ref="#struct-3102"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Igor</forename>
                <surname>Walukiewicz</surname>
              </persName>
              <email type="md5">bb97e2b46456b2afedcdbcebe340a274</email>
              <email type="domain">labri.fr</email>
            </editor>
            <funder ref="#projanr-32338"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2011-02-25 22:42:34</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2012-03-01 13:57:33</date>
              <date type="whenWritten">2011-02-25</date>
              <date type="whenModified">2025-05-26 14:36:02</date>
              <date type="whenReleased">2012-03-01 15:05:57</date>
              <date type="whenProduced">2011</date>
              <date type="whenEndEmbargoed">2012-03-01</date>
              <ref type="file" target="https://hal.science/hal-00570017v2/document">
                <date notBefore="2012-03-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00570017v2/file/hpda-dec-web.pdf" id="file-675552-696115">
                <date notBefore="2012-03-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="113150">
                <persName>
                  <forename>Igor</forename>
                  <surname>Walukiewicz</surname>
                </persName>
                <email type="md5">bb97e2b46456b2afedcdbcebe340a274</email>
                <email type="domain">labri.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00570017</idno>
            <idno type="halUri">https://hal.science/hal-00570017</idno>
            <idno type="halBibtex">salvati:hal-00570017</idno>
            <idno type="halRefHtml">&lt;i&gt;ICALP&lt;/i&gt;, 2011, Switzerland. pp.162-173</idno>
            <idno type="halRef">ICALP, 2011, Switzerland. pp.162-173</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-675552-696115"/></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="LABRI">Laboratoire Bordelais de Recherche en Informatique</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="TESTBORDEAUX">TESTBORDEAUX</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="UNIVERSITE-BORDEAUX">Université de Bordeaux</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="1">Not set</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="de">Krivine machines and higher-order schemes</title>
                <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>
                  <affiliation ref="#struct-56005"/>
                  <affiliation ref="#struct-3102"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Igor</forename>
                    <surname>Walukiewicz</surname>
                  </persName>
                  <email type="md5">bb97e2b46456b2afedcdbcebe340a274</email>
                  <email type="domain">labri.fr</email>
                  <idno type="idhal" notation="string">igor-walukiewicz</idno>
                  <idno type="idhal" notation="numeric">2200</idno>
                  <idno type="halauthorid" notation="string">710-2200</idno>
                  <idno type="IDREF">https://www.idref.fr/078177146</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8952-7201</idno>
                  <affiliation ref="#struct-3102"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Krivine Machines and Higher-Order Schemes</title>
                <meeting>
                  <title>ICALP</title>
                  <date type="start">2011</date>
                  <country key="CH">Switzerland</country>
                </meeting>
                <imprint>
                  <biblScope unit="serie">LNCS</biblScope>
                  <biblScope unit="volume">6756</biblScope>
                  <biblScope unit="pp">162-173</biblScope>
                  <date type="datePub">2011</date>
                </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="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 propose a new approach to analysing higher-order recursive schemes. Many results in the literature use automata models generalising pushdown automata, most notably higher-order pushdown automata with collapse (CPDA). Instead, we propose to use the Krivine machine model. Compared to CPDA, this model is closer to lambda-calculus, and incorporates nicely many invariants of computations, as for example the typing information. The usefulness of the proposed approach is demonstrated with new proofs of two central results in the field: the decidability of the local and global model checking problems for higher-order schemes with respect to the mu-calculus.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-56005" status="OLD">
          <idno type="RNSR">200518257C</idno>
          <orgName>Linguistic signs, grammar and meaning: computational logic for natural language</orgName>
          <orgName type="acronym">SIGNES</orgName>
          <date type="start">2005-01-13</date>
          <date type="end">2011-12-31</date>
          <desc>
            <address>
              <addrLine>Inria Bordeaux</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-92972" type="direct"/>
            <relation active="#struct-104751" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-300366" type="direct"/>
            <relation name="UMR5800" active="#struct-441569" 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-92972" status="VALID">
          <orgName>Université Sciences et Technologies - Bordeaux 1</orgName>
          <orgName type="acronym">UB</orgName>
          <date type="start">1971-01-01</date>
          <date type="end">2013-12-31</date>
          <desc>
            <address>
              <addrLine>351 cours de la Libération - 33405 Talence.</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-bordeaux1.fr</ref>
          </desc>
        </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="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-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>
        <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>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-32338" status="VALID">
          <idno type="anr">ANR-10-BLAN-0202</idno>
          <idno type="program">BLANC</idno>
          <orgName>FREC</orgName>
          <desc>Frontières de la reconnaissabilité</desc>
          <date type="start">2010</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>