Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Glueability of resource proof-structures: inverting the Taylor expansion (long version)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion charact…
cs.LO2019
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva +1
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has…