<?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-05419254</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-15T09:38:14+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">A Polytime Quantum Programming Language</title>
            <author role="aut">
              <persName>
                <forename type="first">Emmanuel</forename>
                <surname>Hainry</surname>
              </persName>
              <email type="md5">17010901b5c2f57ce9b026b5b485fb9d</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">emmanuel-hainry</idno>
              <idno type="idhal" notation="numeric">1174</idno>
              <idno type="halauthorid" notation="string">16469-1174</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9750-0460</idno>
              <idno type="IDREF">https://www.idref.fr/114622396</idno>
              <affiliation ref="#struct-529408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Romain</forename>
                <surname>Péchoux</surname>
              </persName>
              <email type="md5">ccee1bec168815dd926f2c4151ffbf6c</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">romain-pechoux</idno>
              <idno type="idhal" notation="numeric">830994</idno>
              <idno type="halauthorid" notation="string">117596-830994</idno>
              <idno type="IDREF">https://www.idref.fr/131003232</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0601-5425</idno>
              <affiliation ref="#struct-529408"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mário</forename>
                <surname>Silva</surname>
              </persName>
              <email type="md5">60d960ee5c77eaa664e9dc6bc7f71455</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">mario-alberto-machado-da-silva</idno>
              <idno type="idhal" notation="numeric">1301888</idno>
              <idno type="halauthorid" notation="string">2672659-1301888</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-9886-8400</idno>
              <affiliation ref="#struct-206040"/>
              <affiliation ref="#struct-529408"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Emmanuel</forename>
                <surname>Hainry</surname>
              </persName>
              <email type="md5">17010901b5c2f57ce9b026b5b485fb9d</email>
              <email type="domain">loria.fr</email>
            </editor>
            <funder ref="#projanr-57829"/>
            <funder ref="#projanr-77965"/>
            <funder ref="#projeurop-2816782"/>
            <funder ref="#projeurop-720527"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-12-16 15:38:01</date>
              <date type="whenModified">2025-12-18 03:24:48</date>
              <date type="whenReleased">2025-12-16 16:22:59</date>
              <date type="whenProduced">2025-11-19</date>
              <date type="whenEndEmbargoed">2025-12-16</date>
              <ref type="file" target="https://inria.hal.science/hal-05419254v1/document">
                <date notBefore="2025-12-16"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-05419254v1/file/TQC_revised.pdf" id="file-5419254-4638353">
                <date notBefore="2025-12-16"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="117979">
                <persName>
                  <forename>Emmanuel</forename>
                  <surname>Hainry</surname>
                </persName>
                <email type="md5">17010901b5c2f57ce9b026b5b485fb9d</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05419254</idno>
            <idno type="halUri">https://inria.hal.science/hal-05419254</idno>
            <idno type="halBibtex">hainry:hal-05419254</idno>
            <idno type="halRefHtml">&lt;i&gt;ACM Transactions on Quantum Computing&lt;/i&gt;, 2025, 7 (1), pp.1 - 32. &lt;a target="_blank" href="https://dx.doi.org/10.1145/3769851"&gt;&amp;#x27E8;10.1145/3769851&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">ACM Transactions on Quantum Computing, 2025, 7 (1), pp.1 - 32. &amp;#x27E8;10.1145/3769851&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-5419254-4638353"/></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="OPENAIRE">OpenAIRE</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="PEPR_QUANTIQUE">PEPR Quantique</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
            <idno type="stamp" n="ANR_QUANTIQUE">ANR QUANTIQUE</idno>
            <idno type="stamp" n="ANR_QUANTIQUE_1" corresp="ANR_QUANTIQUE">ANR_QUANTIQUE_1</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">A Polytime Quantum Programming Language</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Emmanuel</forename>
                    <surname>Hainry</surname>
                  </persName>
                  <email type="md5">17010901b5c2f57ce9b026b5b485fb9d</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">emmanuel-hainry</idno>
                  <idno type="idhal" notation="numeric">1174</idno>
                  <idno type="halauthorid" notation="string">16469-1174</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9750-0460</idno>
                  <idno type="IDREF">https://www.idref.fr/114622396</idno>
                  <affiliation ref="#struct-529408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Romain</forename>
                    <surname>Péchoux</surname>
                  </persName>
                  <email type="md5">ccee1bec168815dd926f2c4151ffbf6c</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">romain-pechoux</idno>
                  <idno type="idhal" notation="numeric">830994</idno>
                  <idno type="halauthorid" notation="string">117596-830994</idno>
                  <idno type="IDREF">https://www.idref.fr/131003232</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0601-5425</idno>
                  <affiliation ref="#struct-529408"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mário</forename>
                    <surname>Silva</surname>
                  </persName>
                  <email type="md5">60d960ee5c77eaa664e9dc6bc7f71455</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">mario-alberto-machado-da-silva</idno>
                  <idno type="idhal" notation="numeric">1301888</idno>
                  <idno type="halauthorid" notation="string">2672659-1301888</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-9886-8400</idno>
                  <affiliation ref="#struct-206040"/>
                  <affiliation ref="#struct-529408"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">171026</idno>
                <idno type="issn">2643-6809</idno>
                <idno type="eissn">2643-6817</idno>
                <title level="j">ACM Transactions on Quantum Computing</title>
                <imprint>
                  <publisher>ACM</publisher>
                  <biblScope unit="volume">7</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">1 - 32</biblScope>
                  <date type="datePub">2025-11-19</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/3769851</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Complexity theory and logic</term>
                <term xml:lang="en">CCS Concepts: • Theory of computation → Quantum complexity theory</term>
              </keywords>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.F.1.2.0"/>
              <classCode scheme="https://dl.acm.org/ccs" n="ACM2012.F.2.9"/>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>&lt;div&gt;&lt;p&gt;As quantum computing emerges as a promising computational paradigm, quantum programming languages provide the tools that bridge the distance between abstract programming and its hardware implementation. In some cases, restricted programming languages may even provide an avenue for more efficient circuit compilation strategies.&lt;/p&gt;&lt;p&gt;In this work, we introduce foq, a first-order quantum programming language which allows for quantum control and recursion, and where a syntactically restricted subset of programs (pfoq) is shown to be sound and complete for quantum polytime computation. This is achieved by bounding both the recursion depth and the branching width of programs, which we demonstrate to still be compatible with various interesting applications, such as quantum teleportation and the quantum Fourier transform.&lt;/p&gt;&lt;p&gt;pfoq constitutes the first programming-language-based characterization of the quantum complexity class fbqp, and we provide a semantics-preserving compilation algorithm such that any pfoq program can be compiled into a quantum circuit that grows polynomially on its number of input qubits, using an anchoringand-merging technique to solve the problem of branch sequentialization.&lt;/p&gt;&lt;/div&gt;</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-529408" status="VALID">
          <idno type="RNSR">201822770B</idno>
          <idno type="ROR">https://ror.org/03w9t3v76</idno>
          <orgName>Designing the Future of Computational Models</orgName>
          <orgName type="acronym">MOCQUA</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/mocqua</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</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="department" xml:id="struct-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.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>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-57829" status="VALID">
          <idno type="anr">ANR-22-PETQ-0007</idno>
          <orgName>EPiQ</orgName>
          <desc>Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique</desc>
          <date type="start">2022</date>
        </org>
        <org type="anrProject" xml:id="projanr-77965" status="VALID">
          <idno type="anr">ANR-22-PNCQ-0002</idno>
          <orgName>HQI – R&amp;amp;D et Support</orgName>
          <desc>Initiative Nationale Hybride HPC Quantique – R&amp;D et Support des communautés</desc>
          <date type="start">2022</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-2816782" status="VALID">
          <idno type="number">951821</idno>
          <idno type="program">H2020-FETFLAG-2018-2020</idno>
          <idno type="call">H2020-FETFLAG-2020-01</idno>
          <orgName>NEASQC</orgName>
          <desc>NExt ApplicationS of Quantum Computing</desc>
          <date type="start">2020-09-01</date>
          <date type="end">2024-11-30</date>
        </org>
        <org type="europeanProject" xml:id="projeurop-720527" status="VALID">
          <idno type="number">101018180</idno>
          <idno type="program">H2020-JTI-EuroHPC-2020-01</idno>
          <idno type="call">H2020-JTI-EuroHPC-2020-2</idno>
          <orgName>HPCQS</orgName>
          <desc>High Performance Computer and Quantum Simulator hybrid</desc>
          <date type="start">2021-12-01</date>
          <date type="end">2025-11-30</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>