Glueability of resource proof-structures: inverting the Taylor expansion - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Glueability of resource proof-structures: inverting the Taylor expansion

Résumé

A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a (infinite) set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those sets of resource proof-structures that are part of the Taylor expansion of some MELL proof-structure, through a rewriting system acting both on resource and MELL proof-structures.
Fichier principal
Vignette du fichier
2020 CSL.pdf (879.91 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02957862 , version 1 (05-10-2020)

Identifiants

Citer

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Glueability of resource proof-structures: inverting the Taylor expansion. 28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩. ⟨hal-02957862⟩

Collections

LACL UPEC
37 Consultations
39 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More