Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00998847 , version 1

Citer

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⟩
241 Consultations
139 Téléchargements

Partager

Gmail Facebook X LinkedIn More