<?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-01760636</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-20T23:04:00+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Unification of Hypergraph $\lambda $-Terms</title>
            <author role="aut">
              <persName>
                <forename type="first">Alimujiang</forename>
                <surname>Yasen</surname>
              </persName>
              <email type="md5">9728ff8beffd407a7ba4b6dc064a6189</email>
              <email type="domain">ueda.info.waseda.ac.jp</email>
              <idno type="idhal" notation="numeric">1030360</idno>
              <idno type="halauthorid" notation="string">1344151-1030360</idno>
              <affiliation ref="#struct-168249"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kazunori</forename>
                <surname>Ueda</surname>
              </persName>
              <email type="md5">4d2b1b32120befd70cfef71d4a132252</email>
              <email type="domain">ueda.info.waseda.ac.jp</email>
              <idno type="idhal" notation="numeric">1030361</idno>
              <idno type="halauthorid" notation="string">462521-1030361</idno>
              <affiliation ref="#struct-168249"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-04-06 15:07:51</date>
              <date type="whenModified">2023-02-17 15:30:06</date>
              <date type="whenReleased">2018-04-06 15:08:59</date>
              <date type="whenProduced">2017-09-12</date>
              <date type="whenEndEmbargoed">2020-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01760636v1/document">
                <date notBefore="2020-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01760636v1/file/440117_1_En_9_Chapter.pdf" id="file-1760636-1792998">
                <date notBefore="2020-01-01"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01760636</idno>
            <idno type="halUri">https://inria.hal.science/hal-01760636</idno>
            <idno type="halBibtex">yasen:hal-01760636</idno>
            <idno type="halRefHtml">&lt;i&gt;2nd International Conference on Topics in Theoretical Computer Science (TTCS)&lt;/i&gt;, Sep 2017, Tehran, Iran. pp.106-124, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-319-68953-1_9"&gt;&amp;#x27E8;10.1007/978-3-319-68953-1_9&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">2nd International Conference on Topics in Theoretical Computer Science (TTCS), Sep 2017, Tehran, Iran. pp.106-124, &amp;#x27E8;10.1007/978-3-319-68953-1_9&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1760636-1792998"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="IFIP-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-TC1" corresp="IFIP-TC">IFIP TC1: Foundations of Computer Science</idno>
            <idno type="stamp" n="IFIP-WG1-8">IFIP-WG1-8</idno>
            <idno type="stamp" n="IFIP-TTCS">IFIP-TTCS</idno>
            <idno type="stamp" n="IFIP-LNCS-10608" corresp="IFIP-LNCS">Topics in Theoretical Computer Science</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 3: Logic, Semantics, and Programming Theory</note>
            <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">Unification of Hypergraph $\lambda $-Terms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Alimujiang</forename>
                    <surname>Yasen</surname>
                  </persName>
                  <email type="md5">9728ff8beffd407a7ba4b6dc064a6189</email>
                  <email type="domain">ueda.info.waseda.ac.jp</email>
                  <idno type="idhal" notation="numeric">1030360</idno>
                  <idno type="halauthorid" notation="string">1344151-1030360</idno>
                  <affiliation ref="#struct-168249"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kazunori</forename>
                    <surname>Ueda</surname>
                  </persName>
                  <email type="md5">4d2b1b32120befd70cfef71d4a132252</email>
                  <email type="domain">ueda.info.waseda.ac.jp</email>
                  <idno type="idhal" notation="numeric">1030361</idno>
                  <idno type="halauthorid" notation="string">462521-1030361</idno>
                  <affiliation ref="#struct-168249"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>2nd International Conference on Topics in Theoretical Computer Science (TTCS)</title>
                  <date type="start">2017-09-12</date>
                  <date type="end">2017-09-14</date>
                  <settlement>Tehran</settlement>
                  <country key="IR">Iran</country>
                </meeting>
                <editor>Mohammad Reza Mousavi</editor>
                <editor>Jiří Sgall</editor>
                <imprint>
                  <publisher>Springer International Publishing</publisher>
                  <biblScope unit="serie">Topics in Theoretical Computer Science</biblScope>
                  <biblScope unit="volume">LNCS-10608</biblScope>
                  <biblScope unit="pp">106-124</biblScope>
                  <date type="datePub">2017</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-319-68953-1_9</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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 developed a technique for modeling formal systems involving name binding in a modeling language based on hypergraph rewriting. A hypergraph consists of graph nodes, edges with two endpoints and edges with multiple endpoints. The idea is that hypergraphs allow us to represent terms containing bindings and that our notion of a graph type keeps bound variables distinct throughout rewriting steps. We previously encoded the untyped $\lambda $-calculus and the evaluation and type checking of System $F_\texttt {&lt;:}$, but the encoding of System $F_\texttt {&lt;:}$ type inference requires a unification algorithm. We studied and successfully implemented a unification algorithm modulo $\alpha $-equivalence for hypergraphs representing untyped $\lambda $-terms. The unification algorithm turned out to be similar to nominal unification despite the fact that our approach and nominal approach to name binding are very different. However, some basic properties of our framework are easier to establish compared to the ones in nominal unification. We believe this indicates that hypergraphs provide a nice framework for encoding formal systems involving binders and unification modulo $\alpha $-equivalence.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 1</org>
              <org type="consortium">WG 1.8</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-168249" status="VALID">
          <idno type="ISNI">0000 0001 2158 5974</idno>
          <orgName>Waseda University [Tokyo]</orgName>
          <desc>
            <address>
              <addrLine>1-104 Totsukamachi, Shinjuku-ku, Tokyo, 169-8050</addrLine>
              <country key="JP"/>
            </address>
            <ref type="url">https://www.waseda.jp/top/en</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>