activity
20102026
most citedAn Abstract Approach to Stratification in Linear Logic

4 citations · 6 across the 5 of their papers we have counts for

collaborators
Showing 2026 · cs.LOShow all

1 paper · 2 filters

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…