<?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-00151820</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-16T23:40:24+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="es">A concurrent model for linear logic</title>
            <author role="aut">
              <persName>
                <forename type="first">Emmanuel</forename>
                <surname>Beffara</surname>
              </persName>
              <email type="md5">d1dc397c13f348ea5f134d6eb68f2938</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
              <idno type="idhal" notation="string">emmanuel-beffara</idno>
              <idno type="idhal" notation="numeric">3827</idno>
              <idno type="halauthorid" notation="string">3086-3827</idno>
              <idno type="IDREF">https://www.idref.fr/169636372</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-1993-3401</idno>
              <affiliation ref="#struct-1067"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Emmanuel</forename>
                <surname>Beffara</surname>
              </persName>
              <email type="md5">d1dc397c13f348ea5f134d6eb68f2938</email>
              <email type="domain">univ-grenoble-alpes.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2007-06-05 14:01:24</date>
              <date type="whenModified">2023-03-24 14:52:48</date>
              <date type="whenReleased">2007-06-05 14:01:24</date>
              <date type="whenProduced">2006</date>
              <ref type="externalLink" target="https://doi.org/10.1016/j.entcs.2005.11.055"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="101829">
                <persName>
                  <forename>Emmanuel</forename>
                  <surname>Beffara</surname>
                </persName>
                <email type="md5">d1dc397c13f348ea5f134d6eb68f2938</email>
                <email type="domain">univ-grenoble-alpes.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00151820</idno>
            <idno type="halUri">https://hal.science/hal-00151820</idno>
            <idno type="halBibtex">beffara:hal-00151820</idno>
            <idno type="halRefHtml">2006, pp.147-168, &lt;a target="_blank" href="https://dx.doi.org/10.1016/j.entcs.2005.11.055"&gt;&amp;#x27E8;10.1016/j.entcs.2005.11.055&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">2006, pp.147-168, &amp;#x27E8;10.1016/j.entcs.2005.11.055&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS7" corresp="UNIV-PARIS">Université Denis Diderot - Paris VII</idno>
            <idno type="stamp" n="PPS">Laboratoire Preuves, Programmes et Systèmes</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-PARIS">Université Paris Cité</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="es">A concurrent model for linear logic</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Emmanuel</forename>
                    <surname>Beffara</surname>
                  </persName>
                  <email type="md5">d1dc397c13f348ea5f134d6eb68f2938</email>
                  <email type="domain">univ-grenoble-alpes.fr</email>
                  <idno type="idhal" notation="string">emmanuel-beffara</idno>
                  <idno type="idhal" notation="numeric">3827</idno>
                  <idno type="halauthorid" notation="string">3086-3827</idno>
                  <idno type="IDREF">https://www.idref.fr/169636372</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-1993-3401</idno>
                  <affiliation ref="#struct-1067"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of the 21st Conference on Mathematical Foundations of Programming Semantics (MFPS'05)</title>
                <meeting>
                  <date type="start">2006</date>
                </meeting>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="serie">Electronic Notes in Theoretical Computer Science</biblScope>
                  <biblScope unit="pp">147-168</biblScope>
                  <date type="datePub">2006</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1016/j.entcs.2005.11.055</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="ro">linear logic</term>
                <term xml:lang="ro">pi-calculus</term>
                <term xml:lang="ro">proofs as processes</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-pl">Computer Science [cs]/Programming Languages [cs.PL]</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 build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and modal logics, and yields a new type system for process calculi that ensures termination while allowing significantly concurrent behaviours. Then we study how embeddings of intuitionistic and classical logics into linear logic induce typed translations of lambda and lambda-mu calculi in which new concurrent instructions can be introduced, thus sketching the basis for a Curry-Howard interpretation of linear and classical proofs in terms of concurrent interaction.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1067" status="OLD">
          <orgName>Preuves, Programmes et Systèmes</orgName>
          <orgName type="acronym">PPS</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Université Paris Diderot, Bât. Sophie Germain, case postale 7014, 75205 Paris Cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.pps.univ-paris-diderot.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300301" type="direct"/>
            <relation name="UMR7126" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300301" status="OLD">
          <idno type="IdRef">027542084</idno>
          <idno type="ISNI">0000000121514068</idno>
          <idno type="ROR">https://ror.org/02n7qrg46</idno>
          <orgName>Université Paris Diderot - Paris 7</orgName>
          <orgName type="acronym">UPD7</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>5 rue Thomas-Mann - 75205 Paris cedex 13</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris-diderot.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>