<?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-02313735v1</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-12T07:17:11+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Unary profile of lambda terms with restricted De Bruijn indices</title>
            <author role="aut">
              <persName>
                <forename type="first">Katarzyna</forename>
                <surname>Grygiel</surname>
              </persName>
              <email type="md5">81aa4a135cef4bfe8172dccaa0090c53</email>
              <email type="domain">tcs.ju.edu.pl</email>
              <idno type="idhal" notation="numeric">859238</idno>
              <idno type="halauthorid" notation="string">385062-859238</idno>
              <affiliation ref="#struct-235237"/>
              <affiliation ref="#struct-19098"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Isabella</forename>
                <surname>Larcher</surname>
              </persName>
              <idno type="halauthorid">1670053-0</idno>
              <affiliation ref="#struct-19098"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Isabella</forename>
                <surname>Larcher</surname>
              </persName>
              <email type="md5">2e585ae09dbc6f0ee52f59264d0db45c</email>
              <email type="domain">tuwien.ac.at</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-10-11 14:55:13</date>
              <date type="whenModified">2026-01-09 13:32:03</date>
              <date type="whenReleased">2019-10-14 13:21:02</date>
              <date type="whenProduced">2019-10-11</date>
              <date type="whenEndEmbargoed">2019-10-11</date>
              <ref type="file" target="https://hal.science/hal-02313735v1/document">
                <date notBefore="2019-10-11"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-02313735v1/file/Unary_profile_of_lambda_terms.pdf" id="file-2313735-2230246">
                <date notBefore="2019-10-11"/>
              </ref>
            </edition>
            <edition n="v2">
              <date type="whenSubmitted">2020-08-04 15:56:09</date>
            </edition>
            <edition n="v3">
              <date type="whenSubmitted">2021-01-21 11:43:23</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="796950">
                <persName>
                  <forename>Isabella</forename>
                  <surname>Larcher</surname>
                </persName>
                <email type="md5">2e585ae09dbc6f0ee52f59264d0db45c</email>
                <email type="domain">tuwien.ac.at</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02313735</idno>
            <idno type="halUri">https://hal.science/hal-02313735</idno>
            <idno type="halBibtex">grygiel:hal-02313735</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-2313735-2230246"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt/>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Unary profile of lambda terms with restricted De Bruijn indices</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Katarzyna</forename>
                    <surname>Grygiel</surname>
                  </persName>
                  <email type="md5">81aa4a135cef4bfe8172dccaa0090c53</email>
                  <email type="domain">tcs.ju.edu.pl</email>
                  <idno type="idhal" notation="numeric">859238</idno>
                  <idno type="halauthorid" notation="string">385062-859238</idno>
                  <affiliation ref="#struct-235237"/>
                  <affiliation ref="#struct-19098"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Isabella</forename>
                    <surname>Larcher</surname>
                  </persName>
                  <idno type="halauthorid">1670053-0</idno>
                  <affiliation ref="#struct-19098"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">profile of lambda terms</term>
                <term xml:lang="en">singularity analysis</term>
                <term xml:lang="en">lambda terms with restrictions</term>
              </keywords>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="math.math-co">Mathematics [math]/Combinatorics [math.CO]</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>In this paper we present an average-case analysis of closed lambda terms with restricted values of De Bruijn indices in the model where each occurrence of a variable contributes one to the size. Given a fixed integer k, a lambda term in which all De Bruijn indices are bounded by k has the following shape: It starts with k De Bruijn levels, forming the so-called hat of the term, to which some number of k-colored Motzkin trees are attached. By means of analytic combinatorics, we show that the size of this hat is constant on average and that the average number of De Bruijn levels of k-colored Motzkin trees of size n is asymptotically Θ(√ n). Combining these two facts, we conclude that the maximal non-empty De Bruijn level in a lambda term with restrictions on De Bruijn indices and of size n is, on average, also of order √ n. On this basis, we provide the average unary profile of such lambda terms.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-235237" status="VALID">
          <orgName>Theoretical Computer Science Department [Krakow]</orgName>
          <orgName type="acronym">TCS</orgName>
          <desc>
            <address>
              <addrLine>Faculty of Mathematics and Computer Science, ul. Prof. Lojasiewicza 6, 30-348 Krakow, Poland</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">http://www.tcs.uj.edu.pl/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-303988" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-19098" status="VALID">
          <idno type="IdRef">030036496</idno>
          <idno type="ROR">https://ror.org/04d836q62</idno>
          <orgName>Vienna University of Technology = Technischen Universität Wien</orgName>
          <orgName type="acronym">TU Wien</orgName>
          <desc>
            <address>
              <addrLine>Karlsplatz 13, 1040 Vienna</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">https://www.tuwien.at/en/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303988" status="VALID">
          <idno type="IdRef">026432250</idno>
          <orgName>Uniwersytet Jagielloński w Krakowie = Jagiellonian University = Université Jagellon de Cracovie</orgName>
          <orgName type="acronym">UJ</orgName>
          <date type="start">1364-01-01</date>
          <desc>
            <address>
              <addrLine>ul. Gołębia 24, 31-007 Kraków</addrLine>
              <country key="PL"/>
            </address>
            <ref type="url">https://www.uj.edu.pl</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>