<?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-03319959</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-16T09:18:05+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">An expression of closure to efficient causation in terms of lambda-calculus</title>
            <author role="aut">
              <persName>
                <forename type="first">Matteo</forename>
                <surname>Mossio</surname>
              </persName>
              <email type="md5">096d124099c9b8b841b30f8bead24fa5</email>
              <email type="domain">univ-paris1.fr</email>
              <idno type="idhal" notation="string">matteo-mossio</idno>
              <idno type="idhal" notation="numeric">1867</idno>
              <idno type="halauthorid" notation="string">11717-1867</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-0831-0815</idno>
              <idno type="IDREF">https://www.idref.fr/115298673</idno>
              <affiliation ref="#struct-1064581"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Giuseppe</forename>
                <surname>Longo</surname>
              </persName>
              <email type="md5">766aa20cf89bb99a4aa1d85f67efdafd</email>
              <email type="domain">ens.fr</email>
              <idno type="idhal" notation="string">giuseppe-longo</idno>
              <idno type="idhal" notation="numeric">1074914</idno>
              <idno type="halauthorid" notation="string">2003079-1074914</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1498-4883</idno>
              <affiliation ref="#struct-1315"/>
              <affiliation ref="#struct-441569"/>
              <affiliation ref="#struct-59704"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">John</forename>
                <surname>Stewart</surname>
              </persName>
              <email type="md5">37f03d82ce577449d08e6c1208569783</email>
              <email type="domain">gmail.com</email>
              <idno type="idhal" notation="numeric">888718</idno>
              <idno type="halauthorid" notation="string">211116-888718</idno>
              <affiliation ref="#struct-537408"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Cécile</forename>
                <surname>Alrivie</surname>
              </persName>
              <email type="md5">92454757ed6417c3fba3ce1890a30a73</email>
              <email type="domain">ens.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2021-08-13 15:16:44</date>
              <date type="whenWritten">2008-09-21</date>
              <date type="whenModified">2026-02-07 05:21:38</date>
              <date type="whenReleased">2021-08-13 15:32:05</date>
              <date type="whenProduced">2009</date>
              <date type="whenEndEmbargoed">2021-08-13</date>
              <ref type="file" target="https://ens.hal.science/hal-03319959v1/document">
                <date notBefore="2021-08-13"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://ens.hal.science/hal-03319959v1/file/2021_08_13_comp-closure.pdf" id="file-3319959-2909945">
                <date notBefore="2021-08-13"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="338645">
                <persName>
                  <forename>Cécile</forename>
                  <surname>Alrivie</surname>
                </persName>
                <email type="md5">92454757ed6417c3fba3ce1890a30a73</email>
                <email type="domain">ens.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-03319959</idno>
            <idno type="halUri">https://ens.hal.science/hal-03319959</idno>
            <idno type="halBibtex">mossio:hal-03319959</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Theoretical Biology&lt;/i&gt;, 2009, 257 (3), pp.489-498</idno>
            <idno type="halRef">Journal of Theoretical Biology, 2009, 257 (3), pp.489-498</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3319959-2909945"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS1">Université Panthéon-Sorbonne - Paris I</idno>
            <idno type="stamp" n="ENS-PARIS">Ecole Normale Supérieure de Paris</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-COMPIEGNE">Université de Technologie de Compiègne</idno>
            <idno type="stamp" n="IHPST" corresp="UNIV-PARIS1">Institut d'Histoire et de Philosophie des Sciences et des Techniques</idno>
            <idno type="stamp" n="HIPHISCITECH">Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="COSTECH" corresp="UNIV-COMPIEGNE">Laboratoire COSTECH - Connaissance Organisation et Systèmes TECHniques</idno>
            <idno type="stamp" n="ENS-PSL" corresp="PSL">École normale supérieure - PSL</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="DIENS" corresp="ENS-PARIS">Département d'informatique de l'ENS-PSL</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">An expression of closure to efficient causation in terms of lambda-calculus</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Matteo</forename>
                    <surname>Mossio</surname>
                  </persName>
                  <email type="md5">096d124099c9b8b841b30f8bead24fa5</email>
                  <email type="domain">univ-paris1.fr</email>
                  <idno type="idhal" notation="string">matteo-mossio</idno>
                  <idno type="idhal" notation="numeric">1867</idno>
                  <idno type="halauthorid" notation="string">11717-1867</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-0831-0815</idno>
                  <idno type="IDREF">https://www.idref.fr/115298673</idno>
                  <affiliation ref="#struct-1064581"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Giuseppe</forename>
                    <surname>Longo</surname>
                  </persName>
                  <email type="md5">766aa20cf89bb99a4aa1d85f67efdafd</email>
                  <email type="domain">ens.fr</email>
                  <idno type="idhal" notation="string">giuseppe-longo</idno>
                  <idno type="idhal" notation="numeric">1074914</idno>
                  <idno type="halauthorid" notation="string">2003079-1074914</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1498-4883</idno>
                  <affiliation ref="#struct-1315"/>
                  <affiliation ref="#struct-441569"/>
                  <affiliation ref="#struct-59704"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">John</forename>
                    <surname>Stewart</surname>
                  </persName>
                  <email type="md5">37f03d82ce577449d08e6c1208569783</email>
                  <email type="domain">gmail.com</email>
                  <idno type="idhal" notation="numeric">888718</idno>
                  <idno type="halauthorid" notation="string">211116-888718</idno>
                  <affiliation ref="#struct-537408"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">16404</idno>
                <idno type="issn">0022-5193</idno>
                <idno type="eissn">1095-8541</idno>
                <title level="j">Journal of Theoretical Biology</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">257</biblScope>
                  <biblScope unit="issue">3</biblScope>
                  <biblScope unit="pp">489-498</biblScope>
                  <date type="datePub">2009</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Closure</term>
                <term xml:lang="en">λ-calculus</term>
                <term xml:lang="en">Computability</term>
                <term xml:lang="en">Impredicativity</term>
                <term xml:lang="en">Robert Rosen</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="math">Mathematics [math]</classCode>
              <classCode scheme="halDomain" n="phys">Physics [physics]</classCode>
              <classCode scheme="halDomain" n="sdv">Life Sciences [q-bio]</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>In this paper, we propose a mathematical expression of closure to efficient causation in terms of λ-calculus; we argue that this opens up the perspective of developing principled computer simulations of systems closed to efficient causation in an appropriate programming language. An important implication of our formulation is that, by exhibiting an expression in λ-calculus, which is a paradigmatic formalism for computability and programming, we show that there are no conceptual or principled problems in realizing a computer simulation or model of closure to efficient causation. We conclude with a brief discussion of the question whether closure to efficient causation captures all relevant properties of living systems. We suggest that it might not be the case, and that more complex definitions could indeed create some obstacles to computability.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1064581" status="VALID">
          <idno type="IdRef">031896634</idno>
          <idno type="RNSR">199812918E</idno>
          <idno type="ROR">02nnpw434</idno>
          <orgName>Institut d'Histoire et de Philosophie des Sciences et des Techniques</orgName>
          <orgName type="acronym">IHPST</orgName>
          <date type="start">2018-12-31</date>
          <desc>
            <address>
              <addrLine>13, rue du Four 75006 PARIS</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://ihpst.pantheonsorbonne.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR8590" active="#struct-7550" type="direct"/>
            <relation name="UMR8590" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-1315" status="VALID">
          <orgName>Laboratoire d'informatique de l'école normale supérieure</orgName>
          <orgName type="acronym">LIENS</orgName>
          <desc>
            <address>
              <addrLine>45 Rue d'Ulm 75230 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-25027" type="direct"/>
            <relation active="#struct-59704" type="indirect"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </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-59704" status="VALID">
          <idno type="IdRef">031738419</idno>
          <idno type="ISNI">0000000123532622</idno>
          <idno type="ROR">https://ror.org/05a0dhs15</idno>
          <orgName>École normale supérieure - Paris</orgName>
          <orgName type="acronym">ENS-PSL</orgName>
          <date type="start">1985-07-24</date>
          <desc>
            <address>
              <addrLine>45, Rue d'Ulm - 75230 Paris cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ens.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-537408" status="VALID">
          <idno type="ROR">https://ror.org/00j4p5x30</idno>
          <orgName>Connaissance Organisation et Systèmes TECHniques</orgName>
          <orgName type="acronym">COSTECH</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.costech.utc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93027" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-7550" status="VALID">
          <idno type="IdRef">027361802</idno>
          <idno type="ISNI">000000012173743X</idno>
          <idno type="ROR">https://ror.org/002t25c44</idno>
          <orgName>Université Paris 1 Panthéon-Sorbonne</orgName>
          <orgName type="acronym">UP1</orgName>
          <desc>
            <address>
              <addrLine>12 place du Panthéon, 75231 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.pantheonsorbonne.fr</ref>
          </desc>
        </org>
        <org type="regrouplaboratory" xml:id="struct-25027" status="VALID">
          <idno type="IdRef">148034055</idno>
          <idno type="RNSR">199812876J</idno>
          <idno type="ROR">05y6rqs46</idno>
          <orgName>Département d'informatique - ENS-PSL</orgName>
          <orgName type="acronym">DI-ENS</orgName>
          <date type="start">1999-01-01</date>
          <desc>
            <address>
              <addrLine>École normale supérieure 45 rue d'Ulm F-75230 Paris Cedex 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.di.ens.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-59704" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR8548" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </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-93027" status="VALID">
          <idno type="ROR">https://ror.org/04y5kwa70</idno>
          <orgName>Université de Technologie de Compiègne</orgName>
          <orgName type="acronym">UTC</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - rue du Docteur Schweitzer- CS 60319 - 60203 Compiègne Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.utc.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>