<?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-01183333</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-20T12:57:46+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Classical Combinatory Logic</title>
            <author role="aut">
              <persName>
                <forename type="first">Karim</forename>
                <surname>Nour</surname>
              </persName>
              <email type="md5">970897fe199b23761a027d4730426298</email>
              <email type="domain">univ-smb.fr</email>
              <idno type="idhal" notation="string">knour</idno>
              <idno type="idhal" notation="numeric">1424148</idno>
              <idno type="halauthorid" notation="string">390840-1424148</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1943-272X</idno>
              <affiliation ref="#struct-79"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Coordination</forename>
                <surname>Episciences Iam</surname>
              </persName>
              <email type="md5">ca50c40eb57b3ef14743f7aab97e8e68</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-08-12 10:18:09</date>
              <date type="whenModified">2026-04-07 09:52:24</date>
              <date type="whenReleased">2015-08-13 09:33:26</date>
              <date type="whenProduced">2005</date>
              <date type="whenEndEmbargoed">2015-08-12</date>
              <ref type="file" target="https://inria.hal.science/hal-01183333v1/document">
                <date notBefore="2015-08-12"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/hal-01183333v1/file/dmAF0107.pdf" id="file-1183333-1268478">
                <date notBefore="2015-08-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="201264">
                <persName>
                  <forename>Coordination</forename>
                  <surname>Episciences Iam</surname>
                </persName>
                <email type="md5">ca50c40eb57b3ef14743f7aab97e8e68</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01183333</idno>
            <idno type="halUri">https://inria.hal.science/hal-01183333</idno>
            <idno type="halBibtex">nour:hal-01183333</idno>
            <idno type="halRefHtml">&lt;i&gt;Computational Logic and Applications, CLA '05&lt;/i&gt;, 2005, Chambéry, France. pp.87-96, &lt;a target="_blank" href="https://dx.doi.org/10.46298/dmtcs.3469"&gt;&amp;#x27E8;10.46298/dmtcs.3469&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Computational Logic and Applications, CLA '05, 2005, Chambéry, France. pp.87-96, &amp;#x27E8;10.46298/dmtcs.3469&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1183333-1268478"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-SAVOIE">Université Savoie Mont Blanc</idno>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LAMA" corresp="UNIV-SAVOIE">Laboratoire de mathématiques de l'Université de Savoie Mont Blanc</idno>
            <idno type="stamp" n="DMTCS">DMTCS</idno>
            <idno type="stamp" n="USMB-COMUE">Université Savoie Mont Blanc - UGA [* - 2019]</idno>
            <idno type="stamp" n="LAMA-EQUIPE-LIMD" corresp="LAMA">LIMD</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</idno>
          </seriesStmt>
          <notesStmt>
            <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">Classical Combinatory Logic</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Karim</forename>
                    <surname>Nour</surname>
                  </persName>
                  <email type="md5">970897fe199b23761a027d4730426298</email>
                  <email type="domain">univ-smb.fr</email>
                  <idno type="idhal" notation="string">knour</idno>
                  <idno type="idhal" notation="numeric">1424148</idno>
                  <idno type="halauthorid" notation="string">390840-1424148</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1943-272X</idno>
                  <affiliation ref="#struct-79"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">649</idno>
                <idno type="issn">1462-7264</idno>
                <idno type="eissn">1365-8050</idno>
                <title level="j">Discrete Mathematics and Theoretical Computer Science</title>
                <meeting>
                  <title>Computational Logic and Applications, CLA '05</title>
                  <date type="start">2005</date>
                  <settlement>Chambéry</settlement>
                  <country key="FR">France</country>
                </meeting>
                <editor>David</editor>
                <editor>René and Gardy</editor>
                <editor>Danièle and Lescanne</editor>
                <editor>Pierre and Zaionc</editor>
                <editor>Marek</editor>
                <imprint>
                  <publisher>Discrete Mathematics and Theoretical Computer Science</publisher>
                  <publisher>DMTCS</publisher>
                  <biblScope unit="serie">DMTCS Proceedings</biblScope>
                  <biblScope unit="volume">DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)</biblScope>
                  <biblScope unit="pp">87-96</biblScope>
                  <date type="datePub">2005-01-01</date>
                </imprint>
              </monogr>
              <idno type="doi">10.46298/dmtcs.3469</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Propositional classical logic</term>
                <term xml:lang="en">Lambda-calculus</term>
                <term xml:lang="en">Combinatory logic</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-sc">Computer Science [cs]/Symbolic Computation [cs.SC]</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>Combinatory logic shows that bound variables can be eliminated without loss of expressiveness. It has applications both in the foundations of mathematics and in the implementation of functional programming languages. The original combinatory calculus corresponds to minimal implicative logic written in a system "à la Hilbert''. We present in this paper a combinatory logic which corresponds to propositional classical logic. This system is equivalent to the system $λ ^{Sym}_{Prop}$ of Barbanera and Berardi.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-79" status="VALID">
          <idno type="RNSR">200111810M</idno>
          <orgName>Laboratoire de Mathématiques</orgName>
          <orgName type="acronym">LAMA</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>Université Savoie Mont Blanc, Campus Scientifique, Bâtiment Le Chablais  73376 Le Bourget du Lac, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lama.univ-savoie.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-432896" type="direct"/>
            <relation name="UMR5127 / EP2067" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-432896" status="VALID">
          <idno type="ROR">https://ror.org/04gqg1a07</idno>
          <orgName>Université Savoie Mont Blanc</orgName>
          <orgName type="acronym">USMB [Université de Savoie] [Université de Chambéry]</orgName>
          <date type="start">1979-10-01</date>
          <desc>
            <address>
              <addrLine>27, rue Marcoz - 73000 Chambéry</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-smb.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>
    </back>
  </text>
</TEI>