2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Connectivity at the crossroad of intuitionistic and classical polarizations in linear logic
Raffaele Di Donna, Giulio Guerrieri, Lorenzo Tortora de Falco
We investigate a property that extends the Danos-Regnier correctness criterion for linear logic proof-structures. The property applies to the correctness graphs of a proof-structur…
cs.LO2020★ 2 cited
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
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…