Convolution $\bar\lambda\mu$-Calculus
Identifieur interne : 004E18 ( Main/Merge ); précédent : 004E17; suivant : 004E19Convolution $\bar\lambda\mu$-Calculus
Auteurs : Lionel Vaux [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: We define an extension of Herbelin’s $\bar\lambda\mu$ -calculus, introducing a product operation on contexts (in the sense of lists of arguments, or stacks in environment machines), similar to the convolution product of distributions. This is the computational couterpart of some new semantical constructions, extending models of Ehrhard-Regnier’s differential interaction nets, along the lines of Laurent’s polarization of linear logic. We demonstrate this correspondence by providing this calculus with a denotational semantics inside a lambda-model in the category of sets and relations.
Url:
DOI: 10.1007/978-3-540-73228-0_27
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000385
- to stream Istex, to step Curation: 000383
- to stream Istex, to step Checkpoint: 001069
Links to Exploration step
ISTEX:1106A7AB4826B23BB7B0CA627EA8A782EEC0AB0ELe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Convolution $\bar\lambda\mu$-Calculus</title><author><name sortKey="Vaux, Lionel" sort="Vaux, Lionel" uniqKey="Vaux L" first="Lionel" last="Vaux">Lionel Vaux</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:1106A7AB4826B23BB7B0CA627EA8A782EEC0AB0E</idno><date when="2007" year="2007">2007</date><idno type="doi">10.1007/978-3-540-73228-0_27</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-9XZ7F6PD-R/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000385</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000385</idno><idno type="wicri:Area/Istex/Curation">000383</idno><idno type="wicri:Area/Istex/Checkpoint">001069</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001069</idno><idno type="wicri:doubleKey">0302-9743:2007:Vaux L:convolution:bar:lambda</idno><idno type="wicri:Area/Main/Merge">004E18</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Convolution <formula xml:id="IEq1" notation="TEX"><media mimeType="image" url=""></media>$\bar\lambda\mu$
</formula>-Calculus</title><author><name sortKey="Vaux, Lionel" sort="Vaux, Lionel" uniqKey="Vaux L" first="Lionel" last="Vaux">Lionel Vaux</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Institut de Mathématiques de Luminy, Marseille</wicri:regionArea><placeName><region type="region">Provence-Alpes-Côte d'Azur</region><region type="old region">Provence-Alpes-Côte d'Azur</region><settlement type="city">Marseille</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><title level="s" type="abbrev">LNCS</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: We define an extension of Herbelin’s $\bar\lambda\mu$ -calculus, introducing a product operation on contexts (in the sense of lists of arguments, or stacks in environment machines), similar to the convolution product of distributions. This is the computational couterpart of some new semantical constructions, extending models of Ehrhard-Regnier’s differential interaction nets, along the lines of Laurent’s polarization of linear logic. We demonstrate this correspondence by providing this calculus with a denotational semantics inside a lambda-model in the category of sets and relations.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 004E18 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 004E18 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Merge
|type= RBID
|clé= ISTEX:1106A7AB4826B23BB7B0CA627EA8A782EEC0AB0E
|texte= Convolution $\bar\lambda\mu$-Calculus
}}
| This area was generated with Dilib version V0.6.33. |  |