Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion

Abstract

We show that: (1) the Taylor expansion of a cut-free MELL proof-structure R with atomic axioms is the (most informative part of the) relational semantics of R; (2) every (connected) MELL proof-net is uniquely determined by the element of order 2 of its Taylor expansion; (3) the relational semantics is injective for (connected) MELL proof-nets.
Fichier principal
Vignette du fichier
mainFinal.pdf (124.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00998847 , version 1 (03-06-2014)

Identifiers

  • HAL Id : hal-00998847 , version 1

Cite

Giulio Guerrieri, Lorenzo Tortora de Falco, Luc Pellissier. Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion. 8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria. ⟨hal-00998847⟩
240 View
139 Download

Share

Gmail Facebook X LinkedIn More